Assertion list
array (primary) → HasProperty
Results from Ascent++: 94
array → HasProperty → empty 0.81
array → HasProperty → large 0.68
array → HasProperty → static 0.60
array → HasProperty → mutable 0.59
array → HasProperty → one-dimensional 0.59
array → HasProperty → equal 0.55
array → HasProperty → associative 0.54
array → HasProperty → null 0.53
array → HasProperty → full 0.53
array → HasProperty → fine 0.52
array → HasProperty → accessible 0.51
array → HasProperty → simple 0.50
array → HasProperty → dynamic 0.50
array → HasProperty → small 0.47
array → HasProperty → shaped 0.46
array → HasProperty → identical 0.45
array → HasProperty → active 0.44
array → HasProperty → complete 0.44
array → HasProperty → useful 0.42
array → HasProperty → important 0.42
array → HasProperty → operable 0.41
array → HasProperty → immutable 0.41
array → HasProperty → multidimensional 0.41
array → HasProperty → white 0.41
array → HasProperty → long 0.40
array → HasProperty → possible 0.40
array → HasProperty → fast 0.39
array → HasProperty → two-dimensional 0.38
array → HasProperty → complex 0.37
array → HasProperty → covariant 0.37
array → HasProperty → local 0.37
array → HasProperty → square 0.37
array → HasProperty → dense 0.36
array → HasProperty → rectangular 0.36
array → HasProperty → contiguous 0.35
array → HasProperty → undefined 0.35
array → HasProperty → smaller 0.35
array → HasProperty → dimensional 0.34
array → HasProperty → linear 0.34
array → HasProperty → sparse 0.33
array → HasProperty → clean 0.32
array → HasProperty → vast 0.32
array → HasProperty → amazing 0.32
array → HasProperty → multi 0.31
array → HasProperty → smart 0.31
array → HasProperty → good 0.31
array → HasProperty → apparent 0.30
array → HasProperty → circular 0.30
array → HasProperty → global 0.30
array → HasProperty → heterogeneous 0.30
array → HasProperty → homogeneous 0.30
array → HasProperty → independent 0.30
array → HasProperty → orthogonal 0.30
array → HasProperty → wide 0.30
array → HasProperty → powerful 0.28
array → HasProperty → unique 0.28
array → HasProperty → addressable 0.28
array → HasProperty → heavy 0.28
array → HasProperty → hexagonal 0.28
array → HasProperty → monotonic 0.28
array → HasProperty → movable 0.28
array → HasProperty → narrow 0.28
array → HasProperty → reset 0.28
array → HasProperty → symmetrical 0.28
array → HasProperty → three-dimensional 0.28
array → HasProperty → transparent 0.28
array → HasProperty → consistent 0.25
array → HasProperty → greater than ctl_maxname 0.25
array → HasProperty → left invariant 0.25
array → HasProperty → more complex 0.25
array → HasProperty → pliable 0.25
array → HasProperty → private 0.25
array → HasProperty → random 0.25
array → HasProperty → slower 0.25
array → HasProperty → unaffected 0.25
array → HasProperty → valid 0.25
array → HasProperty → readable 0.24
array → HasProperty → redundant 0.23
array → HasProperty → writable 0.22
array → HasProperty → confusing 0.21
array → HasProperty → endless 0.21
array → HasProperty → helpful 0.21
array → HasProperty → overwhelming 0.21
array → HasProperty → common 0.19
array → HasProperty → delicious 0.19
array → HasProperty → fresh 0.19
array → HasProperty → perfect 0.19
array → HasProperty → safe 0.19
array → HasProperty → easier 0.16
array → HasProperty → healthy 0.16
array → HasProperty → intimidating 0.16
array → HasProperty → reusable 0.16
array → HasProperty → standard 0.16
array → HasProperty → varied 0.16