load("comp_pred.lf")?

monadic_universal_ok("f1^x0", "x0", 1)?

molecular_monadic_universal_ok("nand(f1^x0,g1^x0)", "x0", 1)?

molecular_dyadic_universal_ok("nand(f1^x0,g1^y0)", "x0", 1, "y0", 1)?

dyadic_universal_ok(Univ, Var_1, Var_2, Tp)?
;
;
;
;
;
;
;
;

monadic_pred_universal_ok("exists", "x0", "h1^x0^y0" , "x0", "y0", 1, Univ_out)?

halt?