ast_relation_term(?RelType, ?Lang, ?Term) is nondet

• The Abstract Syntax Tree (AST) for the language arg1 contains RELATIONS that unify with arg2.
  This predicate either checks its input or enumerates most general instances of all the legal AST node terms.