Assertion list
bicycle (primary) → DefinedAs
Results from Ascent++: 1
bicycle → DefinedAs → device 0.30