Assertion list
need (aspect of customer ) → HasSubevent
Results from Ascent++: 2
need → HasSubevent → down time 0.16
need → HasSubevent → increase 0.16