Assertion list
stud (primary) → AtLocation
Results from Ascent++: 2
stud → AtLocation → the wall 0.25
stud → AtLocation → outer lateral peripheral edge 0.25