Assertion list
value (aspect of limit ) → CapableOf
Results from Ascent++: 46
value → CapableOf → appear in the win field 0.57
value → CapableOf → indicate the sysuptime 0.46
value → CapableOf → indicate the number of times 0.45
value → CapableOf → correspond to expected detector… 0.44
value → CapableOf → vary 0.43
value → CapableOf → exceed the capital cost ceiling 0.40
value → CapableOf → indicate total number of icmp m… 0.38
value → CapableOf → correspond to the number of ent… 0.36
value → CapableOf → define a per-user limit 0.36
value → CapableOf → indicate the number of igmpv1 0.36
value → CapableOf → indicate significant differences 0.34
value → CapableOf → indicate with the object 0.34
value → CapableOf → depend upon unit 0.32
value → CapableOf → disable the trap 0.32
value → CapableOf → indicate the degree of increase 0.32
value → CapableOf → lie outside the range of values 0.32
value → CapableOf → correct the violation of the ru… 0.29
value → CapableOf → correspond to final fee 0.29
value → CapableOf → disable the limitation 0.29
value → CapableOf → indicate the number of icmp pac… 0.29
value → CapableOf → indicate the number of icmp time 0.29
value → CapableOf → indicate the number of igmp pac… 0.29
value → CapableOf → indicate the temperature of the… 0.29
value → CapableOf → overwrite initial default buffe… 0.29
value → CapableOf → switch to next file 0.29
value → CapableOf → use the formula 0.29
value → CapableOf → apply to each delivery year 0.25
value → CapableOf → be a power of 2 0.25
value → CapableOf → become greater 0.25
value → CapableOf → correspond to percentile 0.25
value → CapableOf → correspond to the atpc range 0.25
value → CapableOf → form the basis 0.25
value → CapableOf → give an 0.25
value → CapableOf → indicate need 0.25
value → CapableOf → indicate the filter-mode 0.25
value → CapableOf → indicate the number 0.25
value → CapableOf → lock to specific frequency band 0.25
value → CapableOf → represent term 0.25
value → CapableOf → seem high 0.25
value → CapableOf → specify mid-level water marker 0.25
value → CapableOf → specify the extended community … 0.25
value → CapableOf → specify the time frame 0.25
value → CapableOf → stop writing to a capture file 0.25
value → CapableOf → indicate the number of icmp des… 0.20
value → CapableOf → indicate an igmp group 0.16
value → CapableOf → indicate on read 0.16