Assertion list for term "produced by constructor".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → produced by constructor 0.41