Assertion list
value (aspect of variable ) → CapableOf

Results from Ascent++: 128
valueCapableOf remain constant 0.67
valueCapableOf change 0.53
valueCapableOf disable the threshold mechanism 0.45
valueCapableOf pass to the function 0.44
valueCapableOf change over time 0.43
valueCapableOf qualify the name parameter 0.41
valueCapableOf return to a get request 0.40
valueCapableOf range 0.38
valueCapableOf appear in the tot_infeasb column 0.37
valueCapableOf represent the number of millise… 0.37
valueCapableOf depend on the type of document 0.37
valueCapableOf identify in the atm traffic des… 0.36
valueCapableOf indicate the number of transact… 0.36
valueCapableOf exceed 2^32 0.34
valueCapableOf indicate total number of icmp m… 0.34
valueCapableOf qualify the path parameter 0.34
valueCapableOf exist at given time 0.33
valueCapableOf increase over time 0.33
valueCapableOf indicate strong positive correl… 0.33
valueCapableOf indicate the number of times 0.33
valueCapableOf return in the query results 0.33
valueCapableOf begin with a question mark 0.31
valueCapableOf disable trap 0.31
valueCapableOf indicate the system time 0.31
valueCapableOf point at entry 0.31
valueCapableOf serve as the numerator 0.31
valueCapableOf take precedence 0.31
valueCapableOf be a command prefix 0.30
valueCapableOf be an ip address 0.30
valueCapableOf change in the future 0.30
valueCapableOf come into play 0.30
valueCapableOf identify decimal integer 0.30
valueCapableOf pass all quality control checks 0.30
valueCapableOf report t-statistics 0.30
valueCapableOf specify the size of memory 0.30
valueCapableOf store in a .net system 0.30
valueCapableOf allow controlled saturation han… 0.28
valueCapableOf be a 64-bit integer 0.28
valueCapableOf be an expression of the change 0.28
valueCapableOf change in response 0.28
valueCapableOf correspond to each other 0.28
valueCapableOf depend on the sort of document 0.28
valueCapableOf determine the ber level 0.28
valueCapableOf disable the checking 0.28
valueCapableOf evaluate to false 0.28
valueCapableOf fall into each bin 0.28
valueCapableOf fluctuate 0.28
valueCapableOf indicate better model fit 0.28
valueCapableOf indicate the number of icmp pac… 0.28
valueCapableOf indicate the number of icmp time 0.28
valueCapableOf indicate the position of the va… 0.28
valueCapableOf indicated in the figure 0.28
valueCapableOf occur 0.28
valueCapableOf point to virtual environment 0.28
valueCapableOf remain at zero 0.28
valueCapableOf reset the device 0.28
valueCapableOf reset the print server 0.28
valueCapableOf return in each record 0.28
valueCapableOf specify a list of admin groups 0.28
valueCapableOf specify circle 0.28
valueCapableOf specify the amount of bandwidth 0.28
valueCapableOf use slider 0.28
valueCapableOf wrap 32-bit counter 0.28
valueCapableOf keep important to keep the team… 0.26
valueCapableOf be a memory address 0.25
valueCapableOf be a power of 2 0.25
valueCapableOf be an array reference 0.25
valueCapableOf belong to interface 0.25
valueCapableOf call the function 0.25
valueCapableOf change at runtime 0.25
valueCapableOf control the amount of printout 0.25
valueCapableOf correspond to the sysrc autocal… 0.25
valueCapableOf decrease over time 0.25
valueCapableOf depend on the host operating sy… 0.25
valueCapableOf depend on unit 0.25
valueCapableOf determine the position 0.25
valueCapableOf disable the limiter 0.25
valueCapableOf enable performance data process… 0.25
valueCapableOf evaluate the function 0.25
valueCapableOf exceed the threshold 0.25
valueCapableOf fall in the region 0.25
valueCapableOf fall within the region 0.25
valueCapableOf hold up to eight characters 0.25
valueCapableOf indicate better discrimination 0.25
valueCapableOf indicate more similarity 0.25
valueCapableOf indicate negative correlation 0.25
valueCapableOf indicate the amount of time 0.25
valueCapableOf indicate the number 0.25
valueCapableOf indicate the sysuptime 0.25
valueCapableOf indicate the weight 0.25
valueCapableOf lie in specified range 0.25
valueCapableOf match in kind 0.25
valueCapableOf match in type 0.25
valueCapableOf match the field descriptions 0.25
valueCapableOf match the pattern 0.25
valueCapableOf meet constraint 0.25
valueCapableOf pass to variable 0.25
valueCapableOf point by key 0.25
valueCapableOf provide information 0.25
valueCapableOf reduce planning time 0.25
valueCapableOf remain accessible 0.25
valueCapableOf remain after the call 0.25
valueCapableOf replace the variable 0.25
valueCapableOf represent a ber of 1e-4 0.25
valueCapableOf represent a compression force 0.25
valueCapableOf represent a high-watermark 0.25
valueCapableOf represent cleared item 0.25
valueCapableOf represent defined data item 0.25
valueCapableOf represent number of active iscs… 0.25
valueCapableOf represent the number of alarms 0.25
valueCapableOf represent the number of bits 0.25
valueCapableOf return in r1 0.25
valueCapableOf return via the returnstatement 0.25
valueCapableOf slow down compilation of huge f… 0.25
valueCapableOf specify mid-level water marker 0.25
valueCapableOf specify the extended community … 0.25
valueCapableOf specify the size 0.25
valueCapableOf suit local conditions 0.25
valueCapableOf take effect 0.25
valueCapableOf tell the installer 0.25
valueCapableOf use auxiliary variable 0.25
valueCapableOf use method 0.25
valueCapableOf use the function 0.25
valueCapableOf visualize cytokine production k… 0.25
valueCapableOf visualize the cell population k… 0.25
valueCapableOf weight the contribution of each… 0.25
valueCapableOf yield inferior query plans 0.25
valueCapableOf indicate the number of icmp des… 0.19