(note "Canonical Test: Exists x [ A(x) ^ B(x) ]") (canonicalize (thereExists ?X (and (Pred1 ?X) (Pred2 ?X))))