Assertion list
compiler (primary) → HasProperty
Results from Ascent++: 34
compiler → HasProperty → smart 0.64
compiler → HasProperty → correct 0.60
compiler → HasProperty → sure 0.54
compiler → HasProperty → good 0.50
compiler → HasProperty → efficient 0.47
compiler → HasProperty → conservative 0.41
compiler → HasProperty → dumb 0.41
compiler → HasProperty → slow 0.40
compiler → HasProperty → smarter 0.39
compiler → HasProperty → free 0.39
compiler → HasProperty → wrong 0.38
compiler → HasProperty → complete 0.38
compiler → HasProperty → happy 0.35
compiler → HasProperty → important 0.35
compiler → HasProperty → more aggressive 0.35
compiler → HasProperty → fast 0.34
compiler → HasProperty → true 0.34
compiler → HasProperty → new 0.30
compiler → HasProperty → strict 0.28
compiler → HasProperty → deterministic 0.28
compiler → HasProperty → stable 0.28
compiler → HasProperty → successful 0.28
compiler → HasProperty → big 0.25
compiler → HasProperty → simple 0.25
compiler → HasProperty → angry 0.24
compiler → HasProperty → complicated 0.23
compiler → HasProperty → old 0.23
compiler → HasProperty → portable 0.23
compiler → HasProperty → powerful 0.23
compiler → HasProperty → necessary 0.20
compiler → HasProperty → expensive 0.19
compiler → HasProperty → robust 0.19
compiler → HasProperty → unhappy 0.19
compiler → HasProperty → extensible 0.16