Assertion list
bearing (primary) → IsA
Results from Ascent++: 2
bearing → IsA → the azimuth of the direction 0.25
bearing → IsA → the direction 0.25