Assertion: inheritance's class | /r/HasProperty | num
Facets:
Source sentences:
text: the listed classes (Num and Ord).