Assertion list
program (primary) → HasProperty
Results from Ascent++: 209
program → HasProperty → open 0.74
program → HasProperty → successful 0.66
program → HasProperty → free 0.62
program → HasProperty → necessary 0.60
program → HasProperty → applicable 0.59
program → HasProperty → active 0.58
program → HasProperty → appropriate 0.57
program → HasProperty → important 0.56
program → HasProperty → good 0.56
program → HasProperty → simple 0.55
program → HasProperty → valid 0.54
program → HasProperty → short 0.54
program → HasProperty → accessible 0.54
program → HasProperty → vital 0.53
program → HasProperty → unique 0.53
program → HasProperty → efficient 0.53
program → HasProperty → classified 0.53
program → HasProperty → the simplest 0.52
program → HasProperty → small 0.52
program → HasProperty → interesting 0.52
program → HasProperty → correct 0.52
program → HasProperty → effective 0.51
program → HasProperty → clear 0.50
program → HasProperty → fine 0.50
program → HasProperty → secure 0.50
program → HasProperty → intensive 0.50
program → HasProperty → voluntary 0.50
program → HasProperty → useless 0.50
program → HasProperty → old 0.49
program → HasProperty → popular 0.49
program → HasProperty → vulnerable 0.49
program → HasProperty → big 0.48
program → HasProperty → mandatory 0.48
program → HasProperty → valuable 0.48
program → HasProperty → selective 0.47
program → HasProperty → consistent 0.47
program → HasProperty → specific 0.46
program → HasProperty → strong 0.46
program → HasProperty → independent 0.46
program → HasProperty → compatible 0.46
program → HasProperty → new 0.46
program → HasProperty → large 0.45
program → HasProperty → inexpensive 0.45
program → HasProperty → flexible 0.44
program → HasProperty → shorter 0.44
program → HasProperty → convenient 0.44
program → HasProperty → useful 0.43
program → HasProperty → fast 0.43
program → HasProperty → online 0.43
program → HasProperty → competitive 0.42
program → HasProperty → benign 0.42
program → HasProperty → ineffective 0.42
program → HasProperty → transparent 0.42
program → HasProperty → distinct 0.41
program → HasProperty → operational 0.41
program → HasProperty → portable 0.41
program → HasProperty → legal 0.41
program → HasProperty → harmless 0.40
program → HasProperty → most effective 0.40
program → HasProperty → desirable 0.40
program → HasProperty → identical 0.40
program → HasProperty → universal 0.39
program → HasProperty → difficult 0.39
program → HasProperty → accurate 0.39
program → HasProperty → beneficial 0.39
program → HasProperty → bad 0.39
program → HasProperty → relevant 0.39
program → HasProperty → complex 0.39
program → HasProperty → helpful 0.38
program → HasProperty → dangerous 0.38
program → HasProperty → long 0.38
program → HasProperty → sufficient 0.38
program → HasProperty → more effective 0.38
program → HasProperty → exceptional 0.37
program → HasProperty → unconstitutional 0.37
program → HasProperty → harmful 0.36
program → HasProperty → fair 0.36
program → HasProperty → expensive 0.36
program → HasProperty → smart 0.36
program → HasProperty → demanding 0.36
program → HasProperty → exempt 0.36
program → HasProperty → feasible 0.36
program → HasProperty → reliable 0.36
program → HasProperty → sustainable 0.36
program → HasProperty → tailor-made 0.36
program → HasProperty → neutral 0.35
program → HasProperty → costly 0.35
program → HasProperty → common 0.35
program → HasProperty → optional 0.35
program → HasProperty → clean 0.35
program → HasProperty → hazardous 0.35
program → HasProperty → reasonable 0.35
program → HasProperty → trashy 0.35
program → HasProperty → duplicative 0.34
program → HasProperty → full 0.34
program → HasProperty → more complex 0.34
program → HasProperty → preferable 0.34
program → HasProperty → well-structured 0.34
program → HasProperty → precise 0.34
program → HasProperty → impossible 0.34
program → HasProperty → educational 0.33
program → HasProperty → broad 0.33
program → HasProperty → extensive 0.33
program → HasProperty → joint one 0.33
program → HasProperty → informative 0.32
program → HasProperty → controversial 0.32
program → HasProperty → eligible 0.32
program → HasProperty → executable 0.32
program → HasProperty → larger 0.32
program → HasProperty → great 0.32
program → HasProperty → rigorous 0.32
program → HasProperty → varied 0.32
program → HasProperty → boring 0.32
program → HasProperty → affordable 0.31
program → HasProperty → ambitious 0.31
program → HasProperty → evident 0.31
program → HasProperty → multidisciplinary 0.31
program → HasProperty → unrelated 0.31
program → HasProperty → viable 0.31
program → HasProperty → formal 0.31
program → HasProperty → excellent 0.31
program → HasProperty → safe 0.31
program → HasProperty → comprehensive 0.30
program → HasProperty → enjoyable 0.30
program → HasProperty → wrong 0.30
program → HasProperty → robust 0.30
program → HasProperty → deterministic 0.29
program → HasProperty → equal 0.29
program → HasProperty → high 0.29
program → HasProperty → patentable 0.29
program → HasProperty → secular 0.29
program → HasProperty → self-funded 0.29
program → HasProperty → the best fit 0.29
program → HasProperty → cost-effective 0.29
program → HasProperty → interactive 0.29
program → HasProperty → responsive 0.29
program → HasProperty → powerful 0.29
program → HasProperty → ill-formed 0.28
program → HasProperty → attractive 0.28
program → HasProperty → practical 0.28
program → HasProperty → wonderful 0.28
program → HasProperty → coherent 0.27
program → HasProperty → commercial 0.27
program → HasProperty → confidential 0.27
program → HasProperty → inactive 0.27
program → HasProperty → inflexible 0.27
program → HasProperty → international 0.27
program → HasProperty → mobile 0.27
program → HasProperty → more focused 0.27
program → HasProperty → solvent 0.27
program → HasProperty → specialized 0.27
program → HasProperty → superior 0.27
program → HasProperty → true 0.27
program → HasProperty → undefined 0.27
program → HasProperty → inadequate 0.27
program → HasProperty → inefficient 0.27
program → HasProperty → interdisciplinary 0.27
program → HasProperty → inconsistent 0.27
program → HasProperty → intrusive 0.27
program → HasProperty → worthless 0.26
program → HasProperty → diverse 0.26
program → HasProperty → functional 0.26
program → HasProperty → innovative 0.26
program → HasProperty → more appropriate 0.26
program → HasProperty → more successful 0.26
program → HasProperty → weak 0.26
program → HasProperty → sound 0.25
program → HasProperty → unnecessary 0.25
program → HasProperty → malicious 0.24
program → HasProperty → objective 0.24
program → HasProperty → slow 0.24
program → HasProperty → unsustainable 0.24
program → HasProperty → adaptable 0.23
program → HasProperty → entertaining 0.23
program → HasProperty → instrumental 0.23
program → HasProperty → most successful 0.23
program → HasProperty → thorough 0.23
program → HasProperty → bankrupt 0.22
program → HasProperty → complementary 0.22
program → HasProperty → confusing 0.22
program → HasProperty → honest 0.22
program → HasProperty → illegal 0.22
program → HasProperty → meaningful 0.22
program → HasProperty → modular 0.22
program → HasProperty → special 0.22
program → HasProperty → buggy 0.20
program → HasProperty → burdensome 0.20
program → HasProperty → exciting 0.20
program → HasProperty → faster 0.20
program → HasProperty → holistic 0.20
program → HasProperty → more flexible 0.20
program → HasProperty → rewarding 0.20
program → HasProperty → the only one 0.20
program → HasProperty → timely 0.20
program → HasProperty → understandable 0.20
program → HasProperty → wasteful 0.20
program → HasProperty → young 0.20
program → HasProperty → adaptive 0.19
program → HasProperty → arbitrary 0.19
program → HasProperty → inspiring 0.19
program → HasProperty → intuitive 0.19
program → HasProperty → less successful 0.19
program → HasProperty → more important 0.19
program → HasProperty → redundant 0.19
program → HasProperty → significant 0.19
program → HasProperty → unacceptable 0.19
program → HasProperty → profitable 0.14
program → HasProperty → perfect 0.11
program → HasProperty → ideal 0.08