Find one assertion involving #$Cleaning which uses the predicate #$denotation.
What argument place does #$Cleaning occupy?
What is the first argument?
What is the arity (number of argument positions) of #$denotation?