Assertion list
tire (primary) → DefinedAs
Results from Ascent++: 2
tire → DefinedAs → the m+sdesignation 0.30
tire → DefinedAs → the prefix 0.28