Assertion list
proof (primary) → HasProperty
Results from Ascent++: 194
proof → HasProperty → correct 0.70
proof → HasProperty → evident 0.66
proof → HasProperty → complete 0.66
proof → HasProperty → acceptable 0.61
proof → HasProperty → clear 0.60
proof → HasProperty → simple 0.59
proof → HasProperty → short 0.59
proof → HasProperty → true 0.58
proof → HasProperty → successful 0.58
proof → HasProperty → easy 0.57
proof → HasProperty → visible 0.56
proof → HasProperty → valid 0.55
proof → HasProperty → rigorous 0.55
proof → HasProperty → relevant 0.53
proof → HasProperty → open 0.53
proof → HasProperty → equivalent 0.53
proof → HasProperty → final 0.53
proof → HasProperty → admissible 0.52
proof → HasProperty → invalid 0.51
proof → HasProperty → small 0.50
proof → HasProperty → sure 0.50
proof → HasProperty → current 0.50
proof → HasProperty → wrong 0.49
proof → HasProperty → new 0.49
proof → HasProperty → difficult 0.49
proof → HasProperty → specific 0.48
proof → HasProperty → accessible 0.47
proof → HasProperty → rare 0.47
proof → HasProperty → overwhelming 0.47
proof → HasProperty → indirect 0.47
proof → HasProperty → relative 0.47
proof → HasProperty → convincing 0.46
proof → HasProperty → incomplete 0.45
proof → HasProperty → circular 0.45
proof → HasProperty → difficult costly, time-consuming 0.44
proof → HasProperty → strong 0.44
proof → HasProperty → unfounded 0.44
proof → HasProperty → complicated 0.43
proof → HasProperty → more precious than gold 0.43
proof → HasProperty → satisfactory 0.42
proof → HasProperty → impossible 0.42
proof → HasProperty → trivial 0.41
proof → HasProperty → long 0.41
proof → HasProperty → sufficient 0.41
proof → HasProperty → conclusive 0.41
proof → HasProperty → unequivocal 0.41
proof → HasProperty → great 0.40
proof → HasProperty → unnecessary 0.40
proof → HasProperty → free 0.39
proof → HasProperty → possible 0.38
proof → HasProperty → longer 0.38
proof → HasProperty → beautiful 0.38
proof → HasProperty → vulnerable 0.38
proof → HasProperty → direct 0.38
proof → HasProperty → good 0.37
proof → HasProperty → absent 0.37
proof → HasProperty → elementary 0.37
proof → HasProperty → reliable 0.37
proof → HasProperty → common 0.37
proof → HasProperty → more complex 0.37
proof → HasProperty → worthless 0.37
proof → HasProperty → large 0.36
proof → HasProperty → mandatory 0.36
proof → HasProperty → useful 0.36
proof → HasProperty → simpler 0.35
proof → HasProperty → abundant 0.35
proof → HasProperty → verifiable 0.35
proof → HasProperty → ugly 0.35
proof → HasProperty → doubtful 0.34
proof → HasProperty → fine 0.34
proof → HasProperty → standard 0.34
proof → HasProperty → elegant 0.34
proof → HasProperty → important 0.34
proof → HasProperty → controversial 0.34
proof → HasProperty → sound 0.33
proof → HasProperty → confusing 0.33
proof → HasProperty → inconclusive 0.33
proof → HasProperty → objective 0.33
proof → HasProperty → valuable 0.33
proof → HasProperty → fresh 0.32
proof → HasProperty → vague 0.32
proof → HasProperty → critical 0.32
proof → HasProperty → finite 0.32
proof → HasProperty → genuine 0.32
proof → HasProperty → high 0.32
proof → HasProperty → illuminating 0.32
proof → HasProperty → more difficult 0.32
proof → HasProperty → original 0.32
proof → HasProperty → inadequate 0.31
proof → HasProperty → big 0.30
proof → HasProperty → decisive 0.30
proof → HasProperty → intuitive 0.30
proof → HasProperty → never more important 0.30
proof → HasProperty → numerous 0.30
proof → HasProperty → online 0.30
proof → HasProperty → scientific 0.30
proof → HasProperty → solid 0.30
proof → HasProperty → subjective 0.30
proof → HasProperty → understandable 0.30
proof → HasProperty → zero 0.30
proof → HasProperty → unreliable 0.30
proof → HasProperty → negative 0.29
proof → HasProperty → circumstantial 0.29
proof → HasProperty → competent 0.29
proof → HasProperty → continuous 0.29
proof → HasProperty → honest 0.29
proof → HasProperty → reasonable 0.29
proof → HasProperty → untimely 0.29
proof → HasProperty → interesting 0.28
proof → HasProperty → superfluous 0.28
proof → HasProperty → algebraic 0.27
proof → HasProperty → careful 0.27
proof → HasProperty → elusive 0.27
proof → HasProperty → inadmissible 0.27
proof → HasProperty → infallible 0.27
proof → HasProperty → more likely 0.27
proof → HasProperty → movable 0.27
proof → HasProperty → positive 0.27
proof → HasProperty → substantial 0.27
proof → HasProperty → tantamount 0.27
proof → HasProperty → thin 0.27
proof → HasProperty → typical 0.27
proof → HasProperty → universal 0.27
proof → HasProperty → technical 0.27
proof → HasProperty → weak 0.27
proof → HasProperty → efficient 0.26
proof → HasProperty → active 0.25
proof → HasProperty → cogent 0.25
proof → HasProperty → combinatorial 0.25
proof → HasProperty → deep 0.25
proof → HasProperty → electronic 0.25
proof → HasProperty → enumerable 0.25
proof → HasProperty → few 0.25
proof → HasProperty → flawless 0.25
proof → HasProperty → half-baked 0.25
proof → HasProperty → immediate 0.25
proof → HasProperty → informal 0.25
proof → HasProperty → interactive 0.25
proof → HasProperty → meaningful 0.25
proof → HasProperty → more important 0.25
proof → HasProperty → personal 0.25
proof → HasProperty → photographic 0.25
proof → HasProperty → plain 0.25
proof → HasProperty → presentable 0.25
proof → HasProperty → rational 0.25
proof → HasProperty → rich 0.25
proof → HasProperty → sacred 0.25
proof → HasProperty → secure 0.25
proof → HasProperty → self-contained 0.25
proof → HasProperty → significant 0.25
proof → HasProperty → subtle 0.25
proof → HasProperty → timely 0.25
proof → HasProperty → tedious 0.24
proof → HasProperty → clever 0.23
proof → HasProperty → close 0.23
proof → HasProperty → magnificent 0.23
proof → HasProperty → clean 0.22
proof → HasProperty → unmistakable 0.22
proof → HasProperty → boring 0.20
proof → HasProperty → fraudulent 0.20
proof → HasProperty → nice 0.20
proof → HasProperty → popular 0.20
proof → HasProperty → unreasonable 0.20
proof → HasProperty → forthcoming 0.20
proof → HasProperty → effective 0.19
proof → HasProperty → eco-friendly 0.18
proof → HasProperty → inefficient 0.18
proof → HasProperty → liable 0.18
proof → HasProperty → natural 0.18
proof → HasProperty → slow 0.18
proof → HasProperty → special 0.18
proof → HasProperty → thorough 0.18
proof → HasProperty → varied 0.18
proof → HasProperty → vast 0.18
proof → HasProperty → unique 0.18
proof → HasProperty → cheap 0.16
proof → HasProperty → compact 0.16
proof → HasProperty → corrupt 0.16
proof → HasProperty → fast 0.16
proof → HasProperty → fatal 0.16
proof → HasProperty → fun 0.16
proof → HasProperty → funny 0.16
proof → HasProperty → messy 0.16
proof → HasProperty → modular 0.16
proof → HasProperty → readable 0.16
proof → HasProperty → robust 0.16
proof → HasProperty → stable 0.16
proof → HasProperty → tangible 0.16
proof → HasProperty → wasteful 0.16
proof → HasProperty → welcome 0.16
proof → HasProperty → higher 0.15
proof → HasProperty → unknown 0.14
proof → HasProperty → perfect 0.09
proof → HasProperty → desirable 0.04