Assertion list
time (aspect of architect ) → AtLocation
Results from Ascent++: 2
time → AtLocation → force 0.50
time → AtLocation → spring 0.16