Assertion list
rind (primary) → DefinedAs
Results from Ascent++: 2
rind → DefinedAs → crosse 0.23
rind → DefinedAs → line 0.23