Subclass Assumptions Predicate from FOL