public static boolean expensiveDisjointTermsP(Description d1, Description d2) {
    return (Logic.applyCachedAsk(Cons.list$(Cons.cons(Logic.SYM_LOGIC_pD1, Cons.cons(Logic.SYM_LOGIC_pD2, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.list$(Cons.cons(Logic.SYM_STELLA_OR, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_DISJOINT, Cons.cons(Logic.SYM_LOGIC_pD1, Cons.cons(Logic.SYM_LOGIC_pD2, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_AND, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_PL_KERNEL_KB_CLASS, Cons.cons(Logic.SYM_LOGIC_pD1, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_PL_KERNEL_KB_CLASS, Cons.cons(Logic.SYM_LOGIC_pD2, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_REFUTATION_DISJOINT, Cons.cons(Logic.SYM_LOGIC_pD1, Cons.cons(Logic.SYM_LOGIC_pD2, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.consList(Cons.cons(d1, Cons.cons(d2, Stella.NIL))), Cons.consList(Stella.NIL), Logic.SYM_LOGIC_F_EXPENSIVE_DISJOINT_TERMSp_QUERY_000, new Object[1]));
  }