Assertion list
aspen (primary) → AtLocation
Results from Ascent++: 3
aspen → AtLocation → cluster 0.25
aspen → AtLocation → full color 0.25
aspen → AtLocation → grove 0.25