Relation pm#result (pm#situation,?)
  supertype:  pm#object/result
  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'