Assertion list
long wait (subgroup of wait ) → CapableOf
Results from Ascent++: 1
long wait → CapableOf → indicate problem 0.59