sumo#negative_real_number  real_number < 0
  closed_exclusion:  nonnegative_real_number
  supertype:  real_number  a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
  subtype:  negative_integer  integer < 0

No statement uses or specializes negative_real_number; click here to add one.