Assertion list
method (primary) → HasProperty
Results from Ascent++: 306
method → HasProperty → applicable 0.69
method → HasProperty → equivalent 0.66
method → HasProperty → static 0.65
method → HasProperty → consistent 0.64
method → HasProperty → public 0.64
method → HasProperty → transparent 0.64
method → HasProperty → identical 0.63
method → HasProperty → sensitive 0.62
method → HasProperty → unique 0.62
method → HasProperty → abstract 0.62
method → HasProperty → effective 0.61
method → HasProperty → simple 0.61
method → HasProperty → accessible 0.61
method → HasProperty → equal 0.61
method → HasProperty → valid 0.61
method → HasProperty → more complicated 0.61
method → HasProperty → appropriate 0.61
method → HasProperty → most suitable 0.61
method → HasProperty → important 0.61
method → HasProperty → relevant 0.61
method → HasProperty → open 0.61
method → HasProperty → safe 0.60
method → HasProperty → selective 0.60
method → HasProperty → suitable 0.60
method → HasProperty → useful 0.60
method → HasProperty → specific 0.59
method → HasProperty → legal 0.59
method → HasProperty → optional 0.59
method → HasProperty → asynchronous 0.59
method → HasProperty → visible 0.58
method → HasProperty → fast 0.58
method → HasProperty → virtual 0.58
method → HasProperty → common 0.57
method → HasProperty → acceptable 0.57
method → HasProperty → slower 0.57
method → HasProperty → fine 0.57
method → HasProperty → easy 0.57
method → HasProperty → accurate 0.57
method → HasProperty → most appropriate 0.57
method → HasProperty → analogous 0.57
method → HasProperty → well-known 0.56
method → HasProperty → the most common 0.56
method → HasProperty → automated 0.56
method → HasProperty → generic 0.56
method → HasProperty → active 0.56
method → HasProperty → small 0.56
method → HasProperty → comparable 0.56
method → HasProperty → good 0.56
method → HasProperty → to make sure 0.56
method → HasProperty → special 0.56
method → HasProperty → constant 0.56
method → HasProperty → false 0.56
method → HasProperty → independent 0.55
method → HasProperty → sound 0.55
method → HasProperty → old 0.55
method → HasProperty → refined 0.55
method → HasProperty → preferred 0.55
method → HasProperty → private 0.55
method → HasProperty → robust 0.55
method → HasProperty → reproducible 0.55
method → HasProperty → new 0.55
method → HasProperty → clear 0.54
method → HasProperty → fair 0.54
method → HasProperty → synchronous 0.54
method → HasProperty → varied 0.54
method → HasProperty → essential 0.54
method → HasProperty → rapid 0.54
method → HasProperty → final 0.54
method → HasProperty → possible 0.54
method → HasProperty → efficient 0.54
method → HasProperty → arbitrary 0.54
method → HasProperty → expensive 0.54
method → HasProperty → sure 0.53
method → HasProperty → iterative 0.53
method → HasProperty → convenient 0.53
method → HasProperty → complete 0.53
method → HasProperty → indirect 0.53
method → HasProperty → great 0.53
method → HasProperty → sufficient 0.53
method → HasProperty → more sensitive 0.53
method → HasProperty → automatic 0.53
method → HasProperty → complementary 0.53
method → HasProperty → experimental 0.53
method → HasProperty → secure 0.52
method → HasProperty → rigorous 0.52
method → HasProperty → unknown 0.52
method → HasProperty → right 0.52
method → HasProperty → low 0.52
method → HasProperty → parallel 0.52
method → HasProperty → straightforward 0.52
method → HasProperty → empty 0.52
method → HasProperty → versatile 0.52
method → HasProperty → interesting 0.52
method → HasProperty → preferable 0.52
method → HasProperty → valuable 0.52
method → HasProperty → helpful 0.52
method → HasProperty → precise 0.52
method → HasProperty → successful 0.52
method → HasProperty → variable 0.51
method → HasProperty → faster 0.51
method → HasProperty → apparent 0.51
method → HasProperty → sustainable 0.50
method → HasProperty → critical 0.50
method → HasProperty → complex 0.50
method → HasProperty → flexible 0.50
method → HasProperty → hard 0.50
method → HasProperty → gentle 0.50
method → HasProperty → beneficial 0.50
method → HasProperty → reliable 0.50
method → HasProperty → conservative 0.50
method → HasProperty → manual 0.50
method → HasProperty → ample 0.50
method → HasProperty → natural 0.50
method → HasProperty → unclear 0.50
method → HasProperty → key 0.50
method → HasProperty → patentable 0.49
method → HasProperty → insensitive 0.49
method → HasProperty → inexpensive 0.49
method → HasProperty → true 0.49
method → HasProperty → clean 0.49
method → HasProperty → time-consuming 0.49
method → HasProperty → excellent 0.49
method → HasProperty → more efficient 0.49
method → HasProperty → advisable 0.49
method → HasProperty → cheap 0.49
method → HasProperty → repeatable 0.49
method → HasProperty → inefficient 0.49
method → HasProperty → controversial 0.49
method → HasProperty → basic 0.49
method → HasProperty → slow 0.49
method → HasProperty → subjective 0.49
method → HasProperty → invasive 0.49
method → HasProperty → standard 0.49
method → HasProperty → adequate 0.49
method → HasProperty → the simplest 0.49
method → HasProperty → costly 0.48
method → HasProperty → general 0.48
method → HasProperty → high 0.48
method → HasProperty → most effective 0.48
method → HasProperty → friendly 0.48
method → HasProperty → comfortable 0.48
method → HasProperty → disadvantageous 0.48
method → HasProperty → transferable 0.48
method → HasProperty → intensive 0.48
method → HasProperty → more appropriate 0.48
method → HasProperty → advantageous 0.47
method → HasProperty → secret 0.47
method → HasProperty → cost-effective 0.47
method → HasProperty → functional 0.47
method → HasProperty → permanent 0.47
method → HasProperty → ineffective 0.47
method → HasProperty → thorough 0.47
method → HasProperty → temporary 0.47
method → HasProperty → sophisticated 0.47
method → HasProperty → unavailable 0.47
method → HasProperty → difficult 0.47
method → HasProperty → free 0.47
method → HasProperty → cost-efficient 0.47
method → HasProperty → positive 0.47
method → HasProperty → popular 0.47
method → HasProperty → the easiest 0.46
method → HasProperty → cumbersome 0.46
method → HasProperty → affordable 0.46
method → HasProperty → productive 0.46
method → HasProperty → dynamic 0.46
method → HasProperty → less sensitive 0.46
method → HasProperty → feasible 0.46
method → HasProperty → reasonable 0.45
method → HasProperty → subtle 0.45
method → HasProperty → large 0.45
method → HasProperty → easier 0.45
method → HasProperty → obsolete 0.45
method → HasProperty → powerful 0.45
method → HasProperty → obvious 0.45
method → HasProperty → traditional 0.45
method → HasProperty → inadequate 0.45
method → HasProperty → responsive 0.45
method → HasProperty → desirable 0.45
method → HasProperty → workable 0.44
method → HasProperty → faulty 0.44
method → HasProperty → usable 0.44
method → HasProperty → fun 0.44
method → HasProperty → laborious 0.44
method → HasProperty → vulnerable 0.44
method → HasProperty → more useful 0.44
method → HasProperty → dangerous 0.44
method → HasProperty → harmful 0.44
method → HasProperty → inaccurate 0.44
method → HasProperty → short 0.44
method → HasProperty → unsuitable 0.44
method → HasProperty → the most popular 0.44
method → HasProperty → painful 0.44
method → HasProperty → illegal 0.44
method → HasProperty → practical 0.43
method → HasProperty → simpler 0.43
method → HasProperty → distinct 0.43
method → HasProperty → lengthy 0.43
method → HasProperty → classified 0.43
method → HasProperty → impractical 0.43
method → HasProperty → less expensive 0.43
method → HasProperty → unreliable 0.43
method → HasProperty → more effective than poison 0.43
method → HasProperty → more expensive 0.43
method → HasProperty → problematic 0.43
method → HasProperty → less effective 0.42
method → HasProperty → attractive 0.42
method → HasProperty → imperfect 0.42
method → HasProperty → understandable 0.42
method → HasProperty → more robust 0.42
method → HasProperty → wrong 0.42
method → HasProperty → tedious 0.42
method → HasProperty → innovative 0.42
method → HasProperty → the most accurate 0.42
method → HasProperty → more accurate 0.42
method → HasProperty → viable 0.42
method → HasProperty → invalid 0.41
method → HasProperty → irrelevant 0.41
method → HasProperty → exemplary 0.41
method → HasProperty → unsafe 0.41
method → HasProperty → diverse 0.41
method → HasProperty → universal 0.41
method → HasProperty → more economical 0.41
method → HasProperty → standardized 0.41
method → HasProperty → logical 0.41
method → HasProperty → most important 0.41
method → HasProperty → outdated 0.41
method → HasProperty → the only one 0.41
method → HasProperty → imprecise 0.40
method → HasProperty → labor-intensive 0.40
method → HasProperty → incompatible 0.40
method → HasProperty → humane 0.40
method → HasProperty → destructive 0.40
method → HasProperty → more effective 0.40
method → HasProperty → profitable 0.40
method → HasProperty → nice 0.40
method → HasProperty → numerous 0.40
method → HasProperty → better than another 0.40
method → HasProperty → mandatory 0.40
method → HasProperty → crude 0.40
method → HasProperty → satisfactory 0.40
method → HasProperty → messy 0.39
method → HasProperty → stable 0.39
method → HasProperty → stressful 0.39
method → HasProperty → more flexible 0.39
method → HasProperty → cheaper 0.39
method → HasProperty → intuitive 0.39
method → HasProperty → closer 0.39
method → HasProperty → risky 0.39
method → HasProperty → optimal 0.38
method → HasProperty → economical 0.38
method → HasProperty → questionable 0.38
method → HasProperty → the best one 0.38
method → HasProperty → unusual 0.38
method → HasProperty → more reliable 0.38
method → HasProperty → painless 0.37
method → HasProperty → confusing 0.37
method → HasProperty → novel 0.37
method → HasProperty → long 0.37
method → HasProperty → inconsistent 0.37
method → HasProperty → impossible 0.37
method → HasProperty → interactive 0.37
method → HasProperty → unacceptable 0.37
method → HasProperty → safer 0.37
method → HasProperty → more suitable 0.36
method → HasProperty → useless 0.36
method → HasProperty → misleading 0.36
method → HasProperty → scientific 0.36
method → HasProperty → inhumane 0.36
method → HasProperty → more advanced 0.35
method → HasProperty → the quickest 0.35
method → HasProperty → creative 0.35
method → HasProperty → most useful 0.35
method → HasProperty → the fastest 0.34
method → HasProperty → challenging 0.34
method → HasProperty → inconvenient 0.34
method → HasProperty → less accurate 0.34
method → HasProperty → more difficult 0.34
method → HasProperty → ingenious 0.34
method → HasProperty → certain 0.32
method → HasProperty → adaptable 0.32
method → HasProperty → more practical 0.32
method → HasProperty → superior 0.32
method → HasProperty → more convenient 0.32
method → HasProperty → amenable 0.32
method → HasProperty → informative 0.31
method → HasProperty → clever 0.31
method → HasProperty → more powerful 0.31
method → HasProperty → invaluable 0.30
method → HasProperty → concise 0.30
method → HasProperty → elegant 0.30
method → HasProperty → harmless 0.30
method → HasProperty → the most efficient 0.30
method → HasProperty → strong 0.30
method → HasProperty → the safest 0.29
method → HasProperty → economic 0.28
method → HasProperty → ideal 0.28
method → HasProperty → perfect 0.27
method → HasProperty → bad 0.27
method → HasProperty → objective 0.26
method → HasProperty → greater 0.24
method → HasProperty → inferior 0.22
method → HasProperty → scalable 0.21
method → HasProperty → foolproof 0.17
method → HasProperty → comprehensive 0.15
method → HasProperty → less invasive 0.15
method → HasProperty → promising 0.15