Assertion list
sum (primary) → HasProperty
Results from Ascent++: 104
sum → HasProperty → equal 0.84
sum → HasProperty → zero 0.75
sum → HasProperty → divisible 0.72
sum → HasProperty → greater 0.68
sum → HasProperty → negative 0.67
sum → HasProperty → constant 0.64
sum → HasProperty → odd 0.62
sum → HasProperty → high 0.60
sum → HasProperty → small 0.60
sum → HasProperty → reasonable 0.60
sum → HasProperty → prime 0.58
sum → HasProperty → correct 0.58
sum → HasProperty → necessary 0.56
sum → HasProperty → taxable 0.55
sum → HasProperty → finite 0.53
sum → HasProperty → uncertain 0.53
sum → HasProperty → smaller 0.53
sum → HasProperty → huge 0.52
sum → HasProperty → big 0.51
sum → HasProperty → lower 0.51
sum → HasProperty → 1/2 0.51
sum → HasProperty → infinite 0.51
sum → HasProperty → separate 0.51
sum → HasProperty → large 0.51
sum → HasProperty → recoverable 0.50
sum → HasProperty → enforceable 0.50
sum → HasProperty → true 0.50
sum → HasProperty → outstanding 0.49
sum → HasProperty → adequate 0.47
sum → HasProperty → actionable 0.45
sum → HasProperty → proportionate 0.45
sum → HasProperty → unique 0.45
sum → HasProperty → substantial 0.44
sum → HasProperty → convergent 0.43
sum → HasProperty → varied 0.43
sum → HasProperty → modest 0.43
sum → HasProperty → larger 0.43
sum → HasProperty → low 0.41
sum → HasProperty → triangular 0.41
sum → HasProperty → square 0.41
sum → HasProperty → vast 0.39
sum → HasProperty → hard 0.39
sum → HasProperty → the greatest 0.37
sum → HasProperty → less than 100 0.37
sum → HasProperty → useful 0.36
sum → HasProperty → applicable 0.35
sum → HasProperty → greater than 10 0.35
sum → HasProperty → significant 0.35
sum → HasProperty → -1 0.35
sum → HasProperty → greater than 9 0.35
sum → HasProperty → inadequate 0.34
sum → HasProperty → fair 0.34
sum → HasProperty → less than 1 0.33
sum → HasProperty → allocatable 0.32
sum → HasProperty → secure 0.32
sum → HasProperty → staggering 0.32
sum → HasProperty → certain 0.30
sum → HasProperty → complete 0.30
sum → HasProperty → congruent 0.30
sum → HasProperty → largest 0.30
sum → HasProperty → great 0.30
sum → HasProperty → exclusive 0.29
sum → HasProperty → insignificant 0.29
sum → HasProperty → excessive 0.29
sum → HasProperty → disproportionate 0.28
sum → HasProperty → incorrect 0.28
sum → HasProperty → 3/10 0.27
sum → HasProperty → astronomical 0.27
sum → HasProperty → compensatory 0.27
sum → HasProperty → least 1 0.27
sum → HasProperty → less than the premium 0.27
sum → HasProperty → most three-valued 0.27
sum → HasProperty → paltry 0.27
sum → HasProperty → smallest 0.27
sum → HasProperty → trivial 0.27
sum → HasProperty → unenforceable 0.27
sum → HasProperty → meaningful 0.27
sum → HasProperty → affordable 0.25
sum → HasProperty → approximate 0.25
sum → HasProperty → commutative 0.25
sum → HasProperty → equitable 0.25
sum → HasProperty → indispensable 0.25
sum → HasProperty → less than 6 0.25
sum → HasProperty → maximal 0.25
sum → HasProperty → more than one winner 0.25
sum → HasProperty → sterling 0.25
sum → HasProperty → tax-free 0.25
sum → HasProperty → unlimited 0.25
sum → HasProperty → unprecedented 0.25
sum → HasProperty → chargeable 0.24
sum → HasProperty → extravagant 0.23
sum → HasProperty → simple 0.22
sum → HasProperty → obscene 0.20
sum → HasProperty → unascertained 0.20
sum → HasProperty → arbitrary 0.18
sum → HasProperty → dwarfed 0.18
sum → HasProperty → exorbitant 0.18
sum → HasProperty → unconscionable 0.18
sum → HasProperty → ample 0.16
sum → HasProperty → inviting 0.16
sum → HasProperty → perfect 0.16
sum → HasProperty → strong 0.16
sum → HasProperty → successful 0.16
sum → HasProperty → refundable 0.14