Assertion list
pulsar (primary) → AtLocation
Results from Ascent++: 2
pulsar → AtLocation → binary system 0.48
pulsar → AtLocation → orbit 0.34