Assertion list
function (primary) → HasProperty
Results from Ascent++: 209
function → HasProperty → error-free 0.67
function → HasProperty → equivalent 0.66
function → HasProperty → distinct 0.64
function → HasProperty → pure 0.63
function → HasProperty → important 0.63
function → HasProperty → differentiable 0.62
function → HasProperty → accessible 0.62
function → HasProperty → identical 0.62
function → HasProperty → unknown 0.62
function → HasProperty → recursive 0.62
function → HasProperty → undefined 0.61
function → HasProperty → free 0.61
function → HasProperty → essential 0.60
function → HasProperty → successful 0.60
function → HasProperty → visible 0.60
function → HasProperty → smooth 0.59
function → HasProperty → constant 0.59
function → HasProperty → discontinuous 0.58
function → HasProperty → necessary 0.58
function → HasProperty → convex 0.58
function → HasProperty → zero 0.58
function → HasProperty → consistent 0.57
function → HasProperty → positive 0.57
function → HasProperty → valid 0.57
function → HasProperty → private 0.57
function → HasProperty → simple 0.57
function → HasProperty → transparent 0.56
function → HasProperty → public 0.56
function → HasProperty → applicable 0.56
function → HasProperty → linear 0.56
function → HasProperty → false 0.55
function → HasProperty → critical 0.55
function → HasProperty → static 0.55
function → HasProperty → unclear 0.55
function → HasProperty → useful 0.55
function → HasProperty → negative 0.54
function → HasProperty → normal 0.54
function → HasProperty → accurate 0.54
function → HasProperty → stateless 0.54
function → HasProperty → dependent 0.54
function → HasProperty → exercisable 0.53
function → HasProperty → unique 0.53
function → HasProperty → monotonic 0.53
function → HasProperty → symmetric 0.53
function → HasProperty → small 0.53
function → HasProperty → advisory 0.53
function → HasProperty → open 0.53
function → HasProperty → specialized 0.53
function → HasProperty → null 0.53
function → HasProperty → usable 0.53
function → HasProperty → anonymous 0.53
function → HasProperty → clear 0.52
function → HasProperty → reusable 0.52
function → HasProperty → special 0.52
function → HasProperty → computable 0.52
function → HasProperty → global 0.52
function → HasProperty → interdependent 0.52
function → HasProperty → true 0.52
function → HasProperty → deterministic 0.52
function → HasProperty → functional 0.52
function → HasProperty → total 0.52
function → HasProperty → virtual 0.51
function → HasProperty → possible 0.51
function → HasProperty → straightforward 0.51
function → HasProperty → obsolete 0.51
function → HasProperty → scalable 0.51
function → HasProperty → void 0.51
function → HasProperty → optional 0.51
function → HasProperty → secure 0.51
function → HasProperty → close 0.51
function → HasProperty → incidental 0.51
function → HasProperty → significant 0.51
function → HasProperty → strict 0.51
function → HasProperty → asynchronous 0.51
function → HasProperty → variadic 0.50
function → HasProperty → basic 0.50
function → HasProperty → easy 0.50
function → HasProperty → synchronous 0.50
function → HasProperty → good 0.50
function → HasProperty → short 0.50
function → HasProperty → specific 0.49
function → HasProperty → one-of-a-kind 0.49
function → HasProperty → unnecessary 0.49
function → HasProperty → integrable 0.49
function → HasProperty → smaller 0.49
function → HasProperty → unchanged 0.49
function → HasProperty → callable 0.48
function → HasProperty → responsible 0.48
function → HasProperty → effective 0.48
function → HasProperty → helpful 0.48
function → HasProperty → fast 0.48
function → HasProperty → empty 0.48
function → HasProperty → common 0.47
function → HasProperty → complex 0.47
function → HasProperty → suitable 0.47
function → HasProperty → meaningful 0.47
function → HasProperty → evident 0.47
function → HasProperty → more complex 0.47
function → HasProperty → administrative 0.47
function → HasProperty → generic 0.47
function → HasProperty → indispensable 0.47
function → HasProperty → automatic 0.47
function → HasProperty → efficient 0.47
function → HasProperty → safe 0.47
function → HasProperty → fundamental 0.46
function → HasProperty → local 0.45
function → HasProperty → independent 0.45
function → HasProperty → const 0.44
function → HasProperty → interesting 0.44
function → HasProperty → impure 0.44
function → HasProperty → active 0.44
function → HasProperty → difficult 0.44
function → HasProperty → perfect 0.44
function → HasProperty → quick 0.44
function → HasProperty → impossible 0.43
function → HasProperty → key 0.43
function → HasProperty → invalid 0.43
function → HasProperty → well-defined 0.43
function → HasProperty → reliable 0.43
function → HasProperty → intuitive 0.43
function → HasProperty → analogous 0.43
function → HasProperty → popular 0.43
function → HasProperty → internal 0.42
function → HasProperty → ok 0.42
function → HasProperty → correct 0.42
function → HasProperty → convenient 0.42
function → HasProperty → complicated 0.42
function → HasProperty → mandatory 0.42
function → HasProperty → nonlinear 0.42
function → HasProperty → fine 0.42
function → HasProperty → useless 0.42
function → HasProperty → redundant 0.41
function → HasProperty → odd 0.41
function → HasProperty → slow 0.41
function → HasProperty → cool 0.41
function → HasProperty → impressive 0.41
function → HasProperty → sensitive 0.40
function → HasProperty → meaningless 0.40
function → HasProperty → unused 0.40
function → HasProperty → long 0.40
function → HasProperty → expensive 0.40
function → HasProperty → versatile 0.40
function → HasProperty → cheap 0.39
function → HasProperty → new 0.39
function → HasProperty → invertible 0.39
function → HasProperty → injective 0.39
function → HasProperty → large 0.39
function → HasProperty → dangerous 0.39
function → HasProperty → appropriate 0.38
function → HasProperty → more efficient 0.38
function → HasProperty → bijective 0.38
function → HasProperty → timely 0.38
function → HasProperty → governmental 0.38
function → HasProperty → preferred 0.38
function → HasProperty → surjective 0.38
function → HasProperty → unsafe 0.38
function → HasProperty → quadratic 0.37
function → HasProperty → powerful 0.37
function → HasProperty → exemplary 0.37
function → HasProperty → obvious 0.37
function → HasProperty → numerous 0.37
function → HasProperty → robust 0.37
function → HasProperty → unavailable 0.37
function → HasProperty → associative 0.36
function → HasProperty → complementary 0.36
function → HasProperty → controversial 0.36
function → HasProperty → unrelated 0.36
function → HasProperty → portable 0.36
function → HasProperty → absent 0.35
function → HasProperty → faster 0.35
function → HasProperty → dominant 0.35
function → HasProperty → flat 0.35
function → HasProperty → holomorphic 0.35
function → HasProperty → real 0.35
function → HasProperty → time-consuming 0.35
function → HasProperty → stable 0.34
function → HasProperty → hot 0.34
function → HasProperty → invariant 0.34
function → HasProperty → mt-safe 0.34
function → HasProperty → executive 0.34
function → HasProperty → general 0.34
function → HasProperty → high 0.34
function → HasProperty → invisible 0.34
function → HasProperty → low 0.34
function → HasProperty → monotone 0.34
function → HasProperty → obscure 0.34
function → HasProperty → supplemental 0.34
function → HasProperty → polymorphic 0.34
function → HasProperty → more useful 0.34
function → HasProperty → experimental 0.33
function → HasProperty → sensory 0.33
function → HasProperty → the only one 0.33
function → HasProperty → flexible 0.33
function → HasProperty → great 0.32
function → HasProperty → smart 0.31
function → HasProperty → beneficial 0.29
function → HasProperty → incompatible 0.29
function → HasProperty → valuable 0.29
function → HasProperty → irrelevant 0.27
function → HasProperty → buggy 0.27
function → HasProperty → nice 0.27
function → HasProperty → vulnerable 0.27
function → HasProperty → inconsistent 0.26
function → HasProperty → most useful 0.26
function → HasProperty → excellent 0.25
function → HasProperty → problematic 0.25
function → HasProperty → incorrect 0.23
function → HasProperty → missing 0.23
function → HasProperty → big 0.21