Assertion list for term "designed to allow operational systems".
Results from Ascent++: 1
format → ReceivesAction → designed to allow operational systems 0.25