Assertion list for term "specified in the constructor".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → specified in the constructor 0.28