#proper_fraction__properfraction  a fraction with a numerator smaller than the denominator
  supertype:  #fraction  the quotient of two rational numbers
  subtype:  #decimal_fraction__decimalfraction__decimal  a proper fraction whose denominator is a power of 10
     subtype:  #circulating_decimal__circulatingdecimal__recurring_decimal__recurringdecimal__repeating_decimal__repeatingdecimal  a decimal with a sequence of digits that repeats itself indefinitely

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