Assertion list
logic (primary) → AtLocation

Results from Ascent++: 6
logicAtLocation one place 0.41
logicAtLocation communication 0.25
logicAtLocation force 0.25
logicAtLocation legend 0.25
logicAtLocation rule 0.25
logicAtLocation the view 0.25