Assertion list
graph (primary) → AtLocation
Results from Ascent++: 4
graph → AtLocation → white 0.36
graph → AtLocation → preferred area of the network 0.32
graph → AtLocation → appendix 0.25
graph → AtLocation → one single window 0.25