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