Assertion list
argument (aspect of function ) → HasSubevent
Results from Ascent++: 1
argument → HasSubevent → a database error 0.16