Relation pm#result (situation,?)
  supertype:  object/result
  subtype:  output (process,?)
  subtype:  result (process,?)  the 2nd argument is the product of the process, e.g., house is a result in 'Eric built a house'