Assertion list
headlight (primary) → IsA
Results from Ascent++: 1
headlight → IsA → the marker lights 0.50