grules (P 2($<*F.P(DZ\d@xnHdXjPl0b>bJdVb8*00x@*F.P(DZ\d@xnHdXjPl0 !< ,J . ; =9 C  :- -> == [] {} expand_termX phrase_:`: translate_headh translate_tailp translate_termx call none true do_disjunct =.. --> append\\ call none true do_disjunct X    h    p       0   `           H H         h              H       p  8   8     p    p           p      p 8     p  8     p       p          p           p        p    p     p    x    x P    x  x H  x   H    (    x         (    x     x              H               @        H                      @        H