other,4-3-C04-1035,bq Horn clauses </term> . We then use the <term> predicates </term> of such <term> clauses </term> to create
other,35-5-C04-1035,bq be learnt automatically from these <term> features </term> . We suggest a new goal and evaluation
hide detail