load("comp_pred.lf")?

monadic_proposition_ok("f1^x0", "a", 1)?

monadic_proposition_ok("f1^x0", "b", 0)?	      

halt?