Ascent++
Search
Assertion list
demonstrator
(
primary
)
→ AtLocation
Results from
Ascent++
:
1
demonstrator
→
AtLocation
→
the square
0.25