#dividend.number  a number to be divided by another number
  supertype:  #number  a concept of quantity derived from zero and units; "every number has a unique position in the sequence"
  subtype:  #numerator  the dividend of a fraction

No statement uses or specializes #dividend.number; click here to add one.