Assertion: rational number's denominator | /r/HasProperty | regular integers
Facets:
value: themselves
type: MANNER
Source sentences:
text: Both the numerator and the denominator must be regular integers themselves.