(note "Canonical Test: [ A(x) v B(x) ]") (canonicalize (or (Pred1 ?X) (Pred2 ?X)))