And it provides such a computer system wherein such problem representations and such subgoal representations of such relevancy means comprise expression types from the class consisting of relational-geometric expressions and relational-quantity expressions; and, further, wherein such relevancy means comprises: first situation-inclusional means for processing data for comparing such presented self-