For example, the formula, F ather(x, y) ∧ F ather(y, z) ⇒ Grandf ather(x, t), has a low score when x and y both have several sons, but it obviously is the most effective to infer Grandf ather.
finally, we dive deep into the formulas generated by our approach to analyze the characters of our approach.