Assertion list for term "subject to following two conditions".
Results from Ascent++: 1
operation → ReceivesAction → subject to following two conditions 0.41