Assertion list
time (aspect of chimpanzee ) → HasProperty
Results from Ascent++: 1
time → HasProperty → short 0.25