Assertion list
source code (primary) → HasProperty
Results from Ascent++: 43
source code → HasProperty → accessible 0.62
source code → HasProperty → open 0.56
source code → HasProperty → visible 0.53
source code → HasProperty → free 0.52
source code → HasProperty → complex 0.48
source code → HasProperty → necessary 0.48
source code → HasProperty → kept secret 0.48
source code → HasProperty → clear 0.45
source code → HasProperty → readable 0.40
source code → HasProperty → copyrightable 0.39
source code → HasProperty → relevant 0.37
source code → HasProperty → proprietary 0.37
source code → HasProperty → modifiable 0.33
source code → HasProperty → traceable 0.33
source code → HasProperty → extendable 0.32
source code → HasProperty → identical 0.32
source code → HasProperty → redistributable 0.32
source code → HasProperty → short 0.32
source code → HasProperty → valid 0.31
source code → HasProperty → simple 0.27
source code → HasProperty → older 0.27
source code → HasProperty → reliable 0.27
source code → HasProperty → unique 0.27
source code → HasProperty → valuable 0.27
source code → HasProperty → complete 0.26
source code → HasProperty → genuine 0.25
source code → HasProperty → modular 0.25
source code → HasProperty → specific 0.25
source code → HasProperty → unprotected 0.25
source code → HasProperty → hard 0.25
source code → HasProperty → long 0.23
source code → HasProperty → useful 0.23
source code → HasProperty → clean 0.21
source code → HasProperty → transparent 0.20
source code → HasProperty → customizable 0.18
source code → HasProperty → incomplete 0.18
source code → HasProperty → large 0.18
source code → HasProperty → portable 0.18
source code → HasProperty → reusable 0.18
source code → HasProperty → compact 0.16
source code → HasProperty → more maintainable 0.16
source code → HasProperty → more readable 0.16
source code → HasProperty → recent 0.16