Assertion list
thinking (primary) → AtLocation
Results from Ascent++: 2
thinking → AtLocation → contrast 0.25
thinking → AtLocation → harmony 0.25