- FOCL theory-suggested specializations correspond to large steps in FOIL.
- The bias is a preference for Horn clauses most similar to operations, sufficient conditions entailed by the domain theory.
- Test results show that FOCL achieves a lower error than FOIL.