Assertion list
time (aspect of cadet ) → HasProperty
Results from Ascent++: 2
time → HasProperty → right 0.25
time → HasProperty → shorter 0.25