Assertion list
flax (primary) → AtLocation
Results from Ascent++: 1
flax → AtLocation → bud 0.43