value aspect of limit, 195 assertions
AtLocation 3
lattice or box distance… 0.29
the range 0.25
quote 0.25
CapableOf 46
appear in the win field 0.57
indicate the sysuptime 0.46
indicate the number of … 0.45
correspond to expected … 0.44
vary 0.43
exceed the capital cost… 0.40
indicate total number o… 0.38
define a per-user limit 0.36
correspond to the numbe… 0.36
indicate the number of … 0.36
More »
DefinedAs 1
the defaultbreaks param… 0.32
HasA 3
signoff 0.41
risk acceptance 0.41
the expression 0.29
HasProperty 47
equal 0.83
zero 0.72
false 0.64
greater 0.61
positive 0.61
greater than 0 0.59
lower 0.58
valid 0.56
consistent 0.55
true 0.53
More »
ReceivesAction 95
given in table 0.71
calculated 0.69
exceeded 0.69
deducted 0.58
associated with tuple e… 0.55
updated 0.54
ignored 0.54
applied 0.53
read 0.53
returned 0.52
More »