Assertion list for term "required for particular application".
Results from Ascent++: 1
property (aspect of alloy) → ReceivesAction → required for particular application 0.41