Class(PROBLEM-INTERPRETATION partial IDEA-INTERPRETATION
restriction(HAS-RESOLUTIVE-METHOD allValuesFrom(METHOD))
restriction(HAS-EQUIVALENT-MEANING-AS allValuesFrom(PROBLEM))
restriction(DERIVES-FROM-PROBLEM allValuesFrom(PROBLEM))
restriction(RELATED-TO-PROBLEM allValuesFrom(PROBLEM))
restriction(IS-TACKLED-BY-ARGUMENT allValuesFrom(ARGUMENT))
restriction(DEFINED-BY-ARGUMENT allValuesFrom(ARGUMENT))
restriction(IS-TACKLED-BY-VIEW allValuesFrom(VIEW))
restriction(HAS-SUPPORTIVE-VIEW allValuesFrom(VIEW))
restriction(ATTACKS-VIEW allValuesFrom(VIEW))
restriction(LINKED-TO-FACT allValuesFrom(TEMPORAL-ENTITY))
restriction(EXISTS-IN-AREA allValuesFrom(PROBLEM-AREA))
restriction(HAS-PROBLEM-TYPE allValuesFrom(PROBLEM-TYPE))
restriction(INTERPRETS allValuesFrom(PROBLEM)))