let antecedent = fun one_dpm -> exists 'x' one_dpm >>= lift_predicate male getx >>= exists 'y' >>= lift_predicate2 wife_of getx gety;;
(* "if a man x has a wife y, x kisses y" *)
- run (initial_set >>= if_op antecedent lift_predicate2 kisses getx gety);;
+ run (initial_set >>= if_op antecedent (lift_predicate2 kisses getx gety));;
(* Bob has wife Carol, and kisses her; and Ted has wife Alice and kisses her; so this is true! *)
(* "if a man x has a wife y, x misses y" *)
- run (initial_set >>= if_op antecedent lift_predicate2 misses getx gety);;
+ run (initial_set >>= if_op antecedent (lift_predicate2 misses getx gety));;
(* Bob has wife Carol, and misses her; but Ted misses only Carol, not his wife Alice; so this is false! *)