Class(PHILOSOPHICAL-THEORY partial THEORY restriction(EXISTS-IN-AREA allValuesFrom(BRANCH-OF-PHILOSOPHY)))