Assertion list for term "required for the service conditions".
Results from Ascent++: 1
property (aspect of alloy) → ReceivesAction → required for the service conditions 0.25