Assertion: rational number's denominator | /r/HasProperty | both of type integer
Facets:
Source sentences:
text: An instance q of type rational is a rational number where the numerator and the denominator are both of type integer.