Assertion list
calculation (primary) → HasProperty
Results from Ascent++: 110
calculation → HasProperty → simple 0.70
calculation → HasProperty → correct 0.70
calculation → HasProperty → precise 0.61
calculation → HasProperty → accurate 0.60
calculation → HasProperty → valid 0.59
calculation → HasProperty → more complex 0.59
calculation → HasProperty → complex 0.58
calculation → HasProperty → wrong 0.55
calculation → HasProperty → complicated 0.55
calculation → HasProperty → approximate 0.53
calculation → HasProperty → difficult 0.52
calculation → HasProperty → relative 0.52
calculation → HasProperty → useful 0.52
calculation → HasProperty → automatic 0.49
calculation → HasProperty → meaningful 0.49
calculation → HasProperty → detailed 0.49
calculation → HasProperty → easier 0.49
calculation → HasProperty → possible 0.48
calculation → HasProperty → fast 0.48
calculation → HasProperty → important 0.45
calculation → HasProperty → conclusive 0.45
calculation → HasProperty → hypothetical 0.45
calculation → HasProperty → perfect 0.45
calculation → HasProperty → theoretical 0.45
calculation → HasProperty → straightforward 0.45
calculation → HasProperty → useless 0.45
calculation → HasProperty → impossible 0.45
calculation → HasProperty → preliminary 0.43
calculation → HasProperty → easy 0.43
calculation → HasProperty → consistent 0.43
calculation → HasProperty → incomplete 0.42
calculation → HasProperty → final 0.42
calculation → HasProperty → successful 0.40
calculation → HasProperty → irrelevant 0.40
calculation → HasProperty → more accurate 0.39
calculation → HasProperty → inconsistent 0.39
calculation → HasProperty → tedious 0.39
calculation → HasProperty → time-consuming 0.38
calculation → HasProperty → reasonable 0.38
calculation → HasProperty → reliable 0.38
calculation → HasProperty → expensive 0.37
calculation → HasProperty → true 0.37
calculation → HasProperty → identical 0.36
calculation → HasProperty → sufficient 0.36
calculation → HasProperty → transparent 0.36
calculation → HasProperty → close 0.35
calculation → HasProperty → specific 0.35
calculation → HasProperty → free 0.35
calculation → HasProperty → suspect 0.35
calculation → HasProperty → demanding 0.35
calculation → HasProperty → helpful 0.33
calculation → HasProperty → lower 0.33
calculation → HasProperty → slow 0.33
calculation → HasProperty → clear 0.32
calculation → HasProperty → iterative 0.32
calculation → HasProperty → sound 0.32
calculation → HasProperty → conservative 0.32
calculation → HasProperty → fair 0.31
calculation → HasProperty → rough 0.31
calculation → HasProperty → massive 0.30
calculation → HasProperty → speculative 0.30
calculation → HasProperty → standard 0.30
calculation → HasProperty → basic 0.29
calculation → HasProperty → burdensome 0.29
calculation → HasProperty → effective 0.29
calculation → HasProperty → higher 0.29
calculation → HasProperty → zero 0.29
calculation → HasProperty → more difficult 0.29
calculation → HasProperty → unreliable 0.28
calculation → HasProperty → intensive 0.28
calculation → HasProperty → certain 0.27
calculation → HasProperty → comprehensible 0.27
calculation → HasProperty → equal 0.27
calculation → HasProperty → inexpensive 0.27
calculation → HasProperty → obvious 0.27
calculation → HasProperty → synonymous 0.27
calculation → HasProperty → unchanged 0.27
calculation → HasProperty → valuable 0.27
calculation → HasProperty → cumbersome 0.27
calculation → HasProperty → interesting 0.27
calculation → HasProperty → more efficient 0.27
calculation → HasProperty → credible 0.25
calculation → HasProperty → crude 0.25
calculation → HasProperty → cumulative 0.25
calculation → HasProperty → generous 0.25
calculation → HasProperty → individual 0.25
calculation → HasProperty → large 0.25
calculation → HasProperty → ok 0.25
calculation → HasProperty → ongoing 0.25
calculation → HasProperty → robust 0.25
calculation → HasProperty → significant 0.25
calculation → HasProperty → small 0.25
calculation → HasProperty → subjective 0.25
calculation → HasProperty → misleading 0.24
calculation → HasProperty → appropriate 0.24
calculation → HasProperty → logical 0.23
calculation → HasProperty → simplistic 0.23
calculation → HasProperty → trivial 0.22
calculation → HasProperty → varied 0.22
calculation → HasProperty → imprecise 0.19
calculation → HasProperty → bizarre 0.18
calculation → HasProperty → impaired 0.18
calculation → HasProperty → less available 0.18
calculation → HasProperty → optimistic 0.18
calculation → HasProperty → outdated 0.18
calculation → HasProperty → short 0.18
calculation → HasProperty → typical 0.18
calculation → HasProperty → compatible 0.16
calculation → HasProperty → inadequate 0.16
calculation → HasProperty → more expensive 0.16