[rules-dev] Enhancing the usefulness of FOL clauses, take 2