A computer system according to claim 6 wherein said problem representations and said subgoal representations of said relevancy means comprise expression types from the class consisting of relational-geometric expressions and relational-quantity expressions.