Assertion list
result (aspect of expression ) → HasProperty
Results from Ascent++: 103
result → HasProperty → consistent 0.79
result → HasProperty → true 0.68
result → HasProperty → comparable 0.60
result → HasProperty → false 0.55
result → HasProperty → null 0.55
result → HasProperty → inconsistent 0.53
result → HasProperty → equal 0.53
result → HasProperty → zero 0.53
result → HasProperty → surprising 0.51
result → HasProperty → real 0.48
result → HasProperty → positive 0.48
result → HasProperty → sensitive 0.46
result → HasProperty → relevant 0.43
result → HasProperty → controversial 0.41
result → HasProperty → variable 0.41
result → HasProperty → undefined 0.41
result → HasProperty → encouraging 0.41
result → HasProperty → contradictory 0.40
result → HasProperty → reproducible 0.39
result → HasProperty → correct 0.39
result → HasProperty → satisfactory 0.38
result → HasProperty → useful 0.38
result → HasProperty → unexpected 0.38
result → HasProperty → unknown 0.37
result → HasProperty → unspecified 0.37
result → HasProperty → valid 0.36
result → HasProperty → accessible 0.36
result → HasProperty → greater 0.36
result → HasProperty → complex 0.35
result → HasProperty → compatible 0.34
result → HasProperty → interesting 0.34
result → HasProperty → obvious 0.33
result → HasProperty → beneficial 0.33
result → HasProperty → accurate 0.33
result → HasProperty → reliable 0.33
result → HasProperty → negative 0.33
result → HasProperty → important 0.32
result → HasProperty → clear 0.32
result → HasProperty → visible 0.32
result → HasProperty → contrary 0.31
result → HasProperty → preliminary 0.31
result → HasProperty → varied 0.31
result → HasProperty → inconclusive 0.30
result → HasProperty → ambiguous 0.30
result → HasProperty → approximate 0.30
result → HasProperty → effective 0.30
result → HasProperty → representative 0.30
result → HasProperty → long 0.29
result → HasProperty → proportional 0.29
result → HasProperty → robust 0.28
result → HasProperty → coincident 0.27
result → HasProperty → congruent 0.27
result → HasProperty → double 0.27
result → HasProperty → large 0.27
result → HasProperty → specific 0.27
result → HasProperty → opposite 0.27
result → HasProperty → unpredictable 0.26
result → HasProperty → questionable 0.26
result → HasProperty → incorrect 0.25
result → HasProperty → appropriate 0.25
result → HasProperty → attributable 0.25
result → HasProperty → credible 0.25
result → HasProperty → dependent 0.25
result → HasProperty → dramatic 0.25
result → HasProperty → generalizable 0.25
result → HasProperty → indicative 0.25
result → HasProperty → indistinguishable 0.25
result → HasProperty → inexact 0.25
result → HasProperty → less clear 0.25
result → HasProperty → possible 0.25
result → HasProperty → reasonable 0.25
result → HasProperty → startling 0.25
result → HasProperty → unambiguous 0.25
result → HasProperty → disappointing 0.24
result → HasProperty → good 0.22
result → HasProperty → incompatible 0.22
result → HasProperty → meaningless 0.22
result → HasProperty → stable 0.22
result → HasProperty → valuable 0.22
result → HasProperty → impressive 0.22
result → HasProperty → conclusive 0.22
result → HasProperty → empty 0.21
result → HasProperty → unique 0.21
result → HasProperty → discordant 0.20
result → HasProperty → unsatisfactory 0.20
result → HasProperty → immediate 0.18
result → HasProperty → poor 0.18
result → HasProperty → promising 0.18
result → HasProperty → disastrous 0.17
result → HasProperty → fantastic 0.16
result → HasProperty → fruity 0.16
result → HasProperty → harsh 0.16
result → HasProperty → inappropriate 0.16
result → HasProperty → incomplete 0.16
result → HasProperty → jagged 0.16
result → HasProperty → misleading 0.16
result → HasProperty → more complex 0.16
result → HasProperty → more effective 0.16
result → HasProperty → notable 0.16
result → HasProperty → novel 0.16
result → HasProperty → predictable 0.16
result → HasProperty → sweet 0.16
result → HasProperty → unaudited 0.16