Assertion list
high concentration (subgroup of concentration ) → ReceivesAction
Results from Ascent++: 2
high concentration → ReceivesAction → formed in the process of fig 0.25
high concentration → ReceivesAction → reached 0.25