Assertion list
rat (primary) → DefinedAs
Results from Ascent++: 1
rat → DefinedAs → their size 0.50