Relation sumo#property (?,sumo#Attribute)
  supertype:  pm#attribute (pm)  e.g., [a car, attribute: a weight]
  instance of:  pm#binary_predicate_type (pm)
  subtype:  sumo#attribute (sumo#object,sumo#Attribute)  the 2nd argument is an attribute of the 1st
  subtype:  sumo#manner (sumo#process,sumo#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