Assertion list
property (aspect of alloy ) → ReceivesAction

Results from Ascent++: 9
propertyReceivesAction given in table 0.55
propertyReceivesAction changed 0.51
propertyReceivesAction required for particular applica… 0.41
propertyReceivesAction calculated 0.35
propertyReceivesAction determined 0.25
propertyReceivesAction examined 0.25
propertyReceivesAction needed for intended service 0.25
propertyReceivesAction required for the service condit… 0.25
propertyReceivesAction selected 0.25