Relation pm#case_relation__thematic_relation (pm#situation,*)
  supertype:  pm#relation_from_situation
  subtype:  pm#doer/object/result/place (pm#situation,?)
     subtype:  pm#doer/object/result (pm#situation,?)
        subtype:  pm#agent__doer (pm#situation [48..*],pm#entity [49..*])
           subtype:  pm#organizer (pm#situation,pm#causal_entity)
           subtype:  pm#participant (pm#situation,pm#causal_entity)
           subtype:  pm#seller__vendor___vender (pm#situation -> pm#goal_directed_agent)
           subtype:  pm#customer__client___buyer__buyer___purchaser__purchaser___vendee (pm#situation,pm#goal_directed_agent)
           subtype:  pm#responsible_agent__responsibleagent (pm#situation,pm#causal_entity)
           subtype:  sumo#agent (sumo#process,dl#agentive_physical_object)  the 2nd argument is an active determinant, animate or inanimate, of the process
        subtype:  pm#initiator (pm#situation,pm#causal_entity)
        subtype:  pm#object/result (pm#situation,?)
           subtype:  pm#instrument (pm#situation,pm#entity)
              subtype:  sumo#instrument (sumo#process,sumo#object)  the 2nd argument is used in bringing about the first and is not changed by it, e.g., the key is an instrument in 'the key opened the door'; instrument and resource cannot be satisfied by the same ordered pair
           subtype:  pm#object__patient___theme__theme (pm#situation,?)
              subtype:  pm#input (pm#process,?)
                 subtype:  pm#material (pm#process,?)
                 subtype:  pm#parameter (pm#process,?)
              subtype:  pm#input_output__inputoutput (pm#process,?)
                 subtype:  pm#modified_object (pm#process,?)
                    subtype:  pm#muted_object__mutedobject (pm#process,?)
                 subtype:  pm#deleted_object__deletedobject (pm#process,?)
              subtype:  sumo#patient (sumo#process,?)  the 2nd argument may be moved, said, experienced, etc; the direct objects in 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients; the patient of a process may or may not undergo structural change as a result of the process
                 subtype:  sumo#instrument (sumo#process,sumo#object)  the 2nd argument is used in bringing about the first and is not changed by it, e.g., the key is an instrument in 'the key opened the door'; instrument and resource cannot be satisfied by the same ordered pair
                 subtype:  sumo#resource (sumo#process,sumo#object)  the object is present at the beginning of the process, is used by it, and as a consequence is changed by it; for example, soap is a resource in 'the gun was carved out of soap'; resource differs from instrument in that its internal or physical properties are altered in some way by the process
                 subtype:  sumo#result (sumo#process,?)  the 2nd argument is the product of the process, e.g., house is a result in 'Eric built a house'
           subtype:  pm#result (pm#situation,?)
              subtype:  pm#output (pm#process,?)
              subtype:  sumo#result (sumo#process,?)  the 2nd argument is the product of the process, e.g., house is a result in 'Eric built a house'
     subtype:  pm#from/to (pm#situation,pm#entity)
        subtype:  pm#source (pm#situation,pm#causal_entity)
        subtype:  pm#recipient (pm#situation,pm#entity)
           subtype:  pm#beneficiary (pm#situation,pm#causal_entity)
        subtype:  pm#from/to_place__from/toplace (pm#process -> pm#spatial_object)
           subtype:  pm#from_place (pm#process -> pm#spatial_object)
           subtype:  pm#to_place__destination (pm#process -> pm#spatial_object)
           subtype:  pm#via_place__viaplace__via (pm#process -> pm#spatial_object)
           subtype:  pm#path (pm#process -> pm#spatial_object)
        subtype:  sumo#origin__from (sumo#process,sumo#object)  the 2nd argument (which must be present at least at the beginning of the process) indicates where the process began; for example, the submarine is the origin in 'the missile was launched from a submarine'
        subtype:  sumo#destination__to (sumo#process,pm#entity)  the 2nd parameter is the target or goal of the process; for example, Danbury would be the destination in 'Bob went to Danbury'; this is a very general case_role which, in particular, that it covers the concepts of 'recipient' and 'beneficiary'; thus, John would be the destination in 'Tom gave a book to John'
     subtype:  pm#place (pm#situation -> pm#spatial_object)
     subtype:  pm#path_length (pm#process -> pm#spatial_attribute_or_quality_or_measure)
  subtype:  pm#experiencer (pm#situation,pm#causal_entity)
     subtype:  sumo#experiencer (sumo#process,dl#agentive_physical_object)  e.g., Yojo is the experiencer of seeing in 'Yojo sees the fish'; unlike agent, this relation does not entail a causal relation between the arguments
  subtype:  pm#relation_from_process_only (pm#process,?)
     subtype:  pm#goal (pm#process,pm#situation)
     subtype:  pm#triggering_event (pm#process,pm#event)
     subtype:  pm#ending_event (pm#process,pm#event)
     subtype:  pm#precondition (pm#process,pm#situation)
     subtype:  pm#postcondition (pm#process,pm#situation)
     subtype:  pm#input (pm#process,?)
     subtype:  pm#input_output__inputoutput (pm#process,?)
     subtype:  pm#sub_process__subproces (pm#process,pm#process)
     subtype:  pm#method (pm#process,pm#description)
     subtype:  pm#from/to_place__from/toplace (pm#process -> pm#spatial_object)
     subtype:  pm#process_attribute__processattribute (pm#process,pm#process_attribute_or_quality_or_measure)
        subtype:  pm#manner (pm#process,pm#process_attribute_or_quality_or_measure)
  subtype:  pm#participant_in_Dolce_Lite (dl#perdurant,dl#endurant)
     subtype:  dl#participant__PC (dl#perdurant,dl#endurant)  the DOLCE predicate PC(x,y,t) means "x participates in y during t" but this relation respects the usual reading conventions: the 1st argument has for participant the 2nd
        subtype:  dl#total_participant__totalparticipant__PC.T (dl#perdurant,dl#endurant)
        subtype:  dl#temporary_total_participant__temporarytotalparticipant__PC.t (dl#perdurant,dl#endurant)
     subtype:  dl#constant_participant__PC.C (dl#perdurant,dl#endurant)