Assertion list for term "activated in the base product".

Results from Ascent++: 1
port ReceivesActionactivated in the base product 0.27