Relation sumo#property (?,Attribute)
  supertype:  attribute (pm)  e.g., [a car, attribute: a weight]
  instance of:  binary_predicate_type (pm)
  subtype:  attribute (object,Attribute)  the 2nd argument is an attribute of the 1st
  subtype:  manner (process,Attribute)  the 1st argument is qualified by the 2nd (which is usually denoted by and adverb), e.g., the speed of the wind, the style of a dance, or the intensity of a sports competition