Assertion list
nightingale (primary) → AtLocation
Results from Ascent++: 1
nightingale → AtLocation → forest 0.16