Find all the ?Xs satisfying (#$isa #$Cleaning ?X).
What is the assertion involving #$Cleaning using the predicate #$comment?
Find all the ?X's satisfying (#$genls #$Cleaning ?X).