Assertion list
lane (primary) → DefinedAs
Results from Ascent++: 2
lane → DefinedAs → arrow 0.32
lane → DefinedAs → asterisk 0.25