property aspect of alloy, 12 assertions
HasProperty 3
useful 0.75
superior 0.51
equal 0.25
ReceivesAction 9
given in table 0.55
changed 0.51
required for particular… 0.41
calculated 0.35
selected 0.25
required for the servic… 0.25
needed for intended ser… 0.25
examined 0.25
determined 0.25