Ascent++
Search
Assertion list
edge
(
aspect
of
graph
)
→ AtLocation
Results from
Ascent++
:
1
edge
→
AtLocation
→
the graph
0.57