Assertion list
number (aspect of node ) → AtLocation
Results from Ascent++: 2
number → AtLocation → the range 0.29
number → AtLocation → ceiling 0.16