Assertion list
time (aspect of wolverine ) → HasProperty
Results from Ascent++: 2
time → HasProperty → right 0.68
time → HasProperty → short 0.16