Assertion list
specification (primary) → HasProperty
Results from Ascent++: 127
specification → HasProperty → accurate 0.72
specification → HasProperty → correct 0.70
specification → HasProperty → approximate 0.69
specification → HasProperty → complete 0.68
specification → HasProperty → current 0.66
specification → HasProperty → applicable 0.66
specification → HasProperty → suitable 0.66
specification → HasProperty → reliable 0.65
specification → HasProperty → indicative 0.63
specification → HasProperty → detailed 0.60
specification → HasProperty → appropriate 0.59
specification → HasProperty → identical 0.59
specification → HasProperty → complex 0.58
specification → HasProperty → precise 0.58
specification → HasProperty → proprietary 0.57
specification → HasProperty → true 0.56
specification → HasProperty → important 0.55
specification → HasProperty → concise 0.54
specification → HasProperty → subject 0.52
specification → HasProperty → valid 0.51
specification → HasProperty → clear 0.51
specification → HasProperty → typical 0.50
specification → HasProperty → consistent 0.50
specification → HasProperty → specific 0.49
specification → HasProperty → preliminary 0.49
specification → HasProperty → stringent 0.49
specification → HasProperty → general 0.47
specification → HasProperty → accessible 0.46
specification → HasProperty → compatible 0.44
specification → HasProperty → straight 0.44
specification → HasProperty → optional 0.44
specification → HasProperty → incomplete 0.43
specification → HasProperty → plausible 0.41
specification → HasProperty → useful 0.41
specification → HasProperty → unclear 0.40
specification → HasProperty → free 0.40
specification → HasProperty → simple 0.40
specification → HasProperty → flexible 0.39
specification → HasProperty → unambiguous 0.39
specification → HasProperty → open 0.38
specification → HasProperty → nominal 0.38
specification → HasProperty → basic 0.38
specification → HasProperty → effective 0.38
specification → HasProperty → broad 0.36
specification → HasProperty → final 0.36
specification → HasProperty → high 0.36
specification → HasProperty → stable 0.36
specification → HasProperty → generic 0.35
specification → HasProperty → unique 0.35
specification → HasProperty → comprehensive 0.35
specification → HasProperty → extensible 0.34
specification → HasProperty → technical 0.34
specification → HasProperty → incorrect 0.33
specification → HasProperty → inaccurate 0.33
specification → HasProperty → good 0.33
specification → HasProperty → restrictive 0.32
specification → HasProperty → key 0.32
specification → HasProperty → representational 0.32
specification → HasProperty → thorough 0.32
specification → HasProperty → explicit 0.31
specification → HasProperty → impressive 0.31
specification → HasProperty → misleading 0.30
specification → HasProperty → voluminous 0.30
specification → HasProperty → agnostic 0.30
specification → HasProperty → informative 0.30
specification → HasProperty → meaningful 0.30
specification → HasProperty → simpler 0.30
specification → HasProperty → subjective 0.30
specification → HasProperty → understandable 0.30
specification → HasProperty → defective 0.30
specification → HasProperty → complementary 0.28
specification → HasProperty → descriptive 0.28
specification → HasProperty → equal 0.28
specification → HasProperty → legible 0.28
specification → HasProperty → mandatory 0.28
specification → HasProperty → separate 0.28
specification → HasProperty → sound 0.28
specification → HasProperty → underway 0.28
specification → HasProperty → experimental 0.28
specification → HasProperty → difficult 0.27
specification → HasProperty → conservative 0.27
specification → HasProperty → demanding 0.27
specification → HasProperty → extensive 0.27
specification → HasProperty → fundamental 0.27
specification → HasProperty → higher 0.27
specification → HasProperty → more compatible 0.27
specification → HasProperty → neutral 0.27
specification → HasProperty → nugatory 0.27
specification → HasProperty → prescriptive 0.27
specification → HasProperty → provisional 0.27
specification → HasProperty → realizable 0.27
specification → HasProperty → rich 0.27
specification → HasProperty → tentative 0.27
specification → HasProperty → universal 0.27
specification → HasProperty → unrestricted 0.27
specification → HasProperty → verifiable 0.27
specification → HasProperty → well-defined 0.27
specification → HasProperty → decent 0.26
specification → HasProperty → powerful 0.25
specification → HasProperty → satisfactory 0.25
specification → HasProperty → active 0.25
specification → HasProperty → conclusive 0.25
specification → HasProperty → exhaustive 0.25
specification → HasProperty → intensional 0.25
specification → HasProperty → normative 0.25
specification → HasProperty → real 0.25
specification → HasProperty → vague 0.24
specification → HasProperty → helpful 0.24
specification → HasProperty → amazing 0.23
specification → HasProperty → inconsistent 0.22
specification → HasProperty → robust 0.22
specification → HasProperty → dormant 0.21
specification → HasProperty → inappropriate 0.21
specification → HasProperty → more detailed 0.21
specification → HasProperty → large 0.20
specification → HasProperty → safe 0.20
specification → HasProperty → short 0.20
specification → HasProperty → solid 0.20
specification → HasProperty → dry 0.18
specification → HasProperty → impossible 0.18
specification → HasProperty → low 0.18
specification → HasProperty → useless 0.18
specification → HasProperty → false 0.16
specification → HasProperty → modular 0.16
specification → HasProperty → the highest available 0.16
specification → HasProperty → thoughtful 0.16
specification → HasProperty → variable 0.16