Assertion list
solution (primary) → AtLocation
Results from Ascent++: 4
solution → AtLocation → accordance 0.52
solution → AtLocation → our hands 0.52
solution → AtLocation → the cloud 0.44
solution → AtLocation → development 0.42