Assertion list
seedling (primary) → AtLocation
Results from Ascent++: 2
seedling → AtLocation → the ground 0.47
seedling → AtLocation → flat 0.44