argument aspect of predicate, 18 assertions
CapableOf 2
appear in their environ… 0.32
be a list of integers 0.25
HasProperty 10
valid 0.68
empty 0.37
equal 0.25
central 0.25
less than the second 0.25
greater 0.25
false 0.25
true 0.25
correct 0.25
inexact 0.25
ReceivesAction 6
treated as two's comple… 0.55
supplied 0.41
instantiated 0.41
passed by value 0.41
expressed in radian 0.25
distinguished 0.25