#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.