Assertion list
calculation (primary) → CapableOf
Results from Ascent++: 152
calculation → CapableOf → use microsoft excel 0.58
calculation → CapableOf → take into account 0.57
calculation → CapableOf → use assumption 0.56
calculation → CapableOf → use paper 0.54
calculation → CapableOf → use pencil 0.48
calculation → CapableOf → give same result 0.47
calculation → CapableOf → solve problem 0.47
calculation → CapableOf → involve addition 0.47
calculation → CapableOf → use spss 0.46
calculation → CapableOf → use computer 0.46
calculation → CapableOf → use calculator 0.46
calculation → CapableOf → use matlab 0.43
calculation → CapableOf → use the exchange rate 0.42
calculation → CapableOf → use the equation 0.42
calculation → CapableOf → involve time 0.42
calculation → CapableOf → concern the balance of trade 0.41
calculation → CapableOf → figure out real position 0.41
calculation → CapableOf → give right answer 0.41
calculation → CapableOf → become more complex 0.41
calculation → CapableOf → use software 0.39
calculation → CapableOf → use current average volume 0.39
calculation → CapableOf → involve angle 0.38
calculation → CapableOf → involve division 0.37
calculation → CapableOf → take time 0.37
calculation → CapableOf → become intractable 0.37
calculation → CapableOf → produce curve 0.37
calculation → CapableOf → return maximum value 0.36
calculation → CapableOf → involve several steps 0.36
calculation → CapableOf → take day 0.36
calculation → CapableOf → involve multiplication 0.35
calculation → CapableOf → involve subtraction 0.35
calculation → CapableOf → proceed in two stages 0.35
calculation → CapableOf → use value 0.35
calculation → CapableOf → work with step 0.35
calculation → CapableOf → dilute net income per common sh… 0.34
calculation → CapableOf → provide benefit 0.34
calculation → CapableOf → use decimal 0.34
calculation → CapableOf → take year 0.32
calculation → CapableOf → taken hour 0.32
calculation → CapableOf → use figure 0.32
calculation → CapableOf → involve ratio 0.31
calculation → CapableOf → perform using mean field approx… 0.31
calculation → CapableOf → show increase 0.31
calculation → CapableOf → show odd 0.31
calculation → CapableOf → show some mismatch 0.31
calculation → CapableOf → show the difference 0.31
calculation → CapableOf → work with proper formula 0.31
calculation → CapableOf → exclude capital gains 0.30
calculation → CapableOf → include realized loss 0.30
calculation → CapableOf → involve conversion 0.30
calculation → CapableOf → involve non-local data 0.30
calculation → CapableOf → show 0.30
calculation → CapableOf → bind absent demonstrable error 0.29
calculation → CapableOf → involve fraction 0.29
calculation → CapableOf → involve percentage 0.29
calculation → CapableOf → involve power 0.29
calculation → CapableOf → produce different results 0.29
calculation → CapableOf → provide similar results 0.29
calculation → CapableOf → remain in the distribution chan… 0.29
calculation → CapableOf → take the commission of 0.5% 0.29
calculation → CapableOf → use a math package 0.29
calculation → CapableOf → use daily temperature 0.29
calculation → CapableOf → use example 0.29
calculation → CapableOf → use model 0.29
calculation → CapableOf → apply mutatis mutandis 0.27
calculation → CapableOf → assume flat horizon 0.27
calculation → CapableOf → begin with 10 children per fami… 0.27
calculation → CapableOf → depend on the technology 0.27
calculation → CapableOf → determine the amount of aid 0.27
calculation → CapableOf → give basic capacity of each deck 0.27
calculation → CapableOf → involve money 0.27
calculation → CapableOf → rely on rich methodological bac… 0.27
calculation → CapableOf → return value 0.27
calculation → CapableOf → seem simple 0.27
calculation → CapableOf → show smaller differences 0.27
calculation → CapableOf → show x+y=0.80 0.27
calculation → CapableOf → take week 0.27
calculation → CapableOf → use measured parameter of the o… 0.27
calculation → CapableOf → use type ia 0.27
calculation → CapableOf → yield more than 73 0.27
calculation → CapableOf → save time 0.27
calculation → CapableOf → assume a 30-year fixed-rate mor… 0.25
calculation → CapableOf → assume uncoated copper 0.25
calculation → CapableOf → become available 0.25
calculation → CapableOf → become common 0.25
calculation → CapableOf → cover cost 0.25
calculation → CapableOf → create an output layer 0.25
calculation → CapableOf → create single quantity 0.25
calculation → CapableOf → deal with stress 0.25
calculation → CapableOf → deal with the deflection 0.25
calculation → CapableOf → deal with variation of forces 0.25
calculation → CapableOf → determine the token bucket size 0.25
calculation → CapableOf → dilute weighted average shares 0.25
calculation → CapableOf → exclude the effects of stock op… 0.25
calculation → CapableOf → find overall probability 0.25
calculation → CapableOf → help assess the age of the site 0.25
calculation → CapableOf → involve image size 0.25
calculation → CapableOf → involve magnification 0.25
calculation → CapableOf → involve real size 0.25
calculation → CapableOf → involve root 0.25
calculation → CapableOf → involve square roots 0.25
calculation → CapableOf → match datum 0.25
calculation → CapableOf → mean calculates the distance 0.25
calculation → CapableOf → meet rule 0.25
calculation → CapableOf → operate on referenced data 0.25
calculation → CapableOf → perform for antiferromagnetic s… 0.25
calculation → CapableOf → perform structure 0.25
calculation → CapableOf → precede the date of the transfer 0.25
calculation → CapableOf → predict natural frequencies 0.25
calculation → CapableOf → produce cancer risk numbers 0.25
calculation → CapableOf → reflect actual tax charge 0.25
calculation → CapableOf → represent the number of complet… 0.25
calculation → CapableOf → reproduce mineralogical changes… 0.25
calculation → CapableOf → reproduce the stability of cm-i… 0.25
calculation → CapableOf → resemble modern cfd 0.25
calculation → CapableOf → return whole number 0.25
calculation → CapableOf → rise to 228 months 0.25
calculation → CapableOf → show basis 0.25
calculation → CapableOf → show large differences 0.25
calculation → CapableOf → show the possibility 0.25
calculation → CapableOf → suggest sizes of uranus and nep… 0.25
calculation → CapableOf → take a few minutes 0.25
calculation → CapableOf → take investment 0.25
calculation → CapableOf → take the size of the bucket 0.25
calculation → CapableOf → use a computer simulation 0.25
calculation → CapableOf → use bayesian models 0.25
calculation → CapableOf → use drilling and production pro… 0.25
calculation → CapableOf → use final school mark 0.25
calculation → CapableOf → use kinematic multi-segment foo… 0.25
calculation → CapableOf → use new practice 0.25
calculation → CapableOf → use other kinds of calculations 0.25
calculation → CapableOf → use statistica 0.25
calculation → CapableOf → use the algorithm 0.25
calculation → CapableOf → use the finite element method 0.25
calculation → CapableOf → use trigonometric function 0.25
calculation → CapableOf → use yupana 0.25
calculation → CapableOf → vary by context 0.25
calculation → CapableOf → win at roulette 0.25
calculation → CapableOf → work in separate page 0.25
calculation → CapableOf → agree with experimental data 0.21
calculation → CapableOf → make comparison 0.21
calculation → CapableOf → convert text-based digits 0.20
calculation → CapableOf → use irr method 0.20
calculation → CapableOf → use err method 0.18
calculation → CapableOf → depend injured party’s current … 0.16
calculation → CapableOf → depend marital status 0.16
calculation → CapableOf → determine the number of signatu… 0.16
calculation → CapableOf → do data analysis 0.16
calculation → CapableOf → involve chemical structures 0.16
calculation → CapableOf → involve reaction 0.16
calculation → CapableOf → take minute 0.16
calculation → CapableOf → use the best information 0.16