Assertion list
cone (primary) → CapableOf
Results from Ascent++: 2
cone → CapableOf → taper to point 0.25
cone → CapableOf → function in bright light 0.16