Assertion list
budgie (primary) → AtLocation
Results from Ascent++: 1
budgie → AtLocation → flock 0.25