Assertion list for term "implemented in one or more thread".
Results from Ascent++: 1
method (aspect of interface) → ReceivesAction → implemented in one or more thread 0.33