(note "Canonical Test: [ A(x) => B(x) ]") (canonicalize (implies (Pred1 ?X) (Pred2 ?X)))