Assertion list
void (primary) → HasProperty
Results from Ascent++: 30
void → HasProperty → large 0.59
void → HasProperty → empty 0.54
void → HasProperty → small 0.52
void → HasProperty → infinite 0.42
void → HasProperty → open 0.37
void → HasProperty → useful 0.37
void → HasProperty → vast 0.32
void → HasProperty → full 0.31
void → HasProperty → eternal 0.29
void → HasProperty → real 0.29
void → HasProperty → essential 0.28
void → HasProperty → invisible 0.27
void → HasProperty → accessible 0.25
void → HasProperty → all-inclusive 0.25
void → HasProperty → mysterious 0.25
void → HasProperty → noticeable 0.25
void → HasProperty → permanent 0.25
void → HasProperty → possible 0.25
void → HasProperty → pure black 0.25
void → HasProperty → smaller 0.25
void → HasProperty → unique 0.25
void → HasProperty → absolute zero 0.22
void → HasProperty → great 0.21
void → HasProperty → visible 0.19
void → HasProperty → difficult 0.19
void → HasProperty → good 0.19
void → HasProperty → hungry 0.16
void → HasProperty → undesirable 0.16
void → HasProperty → vulnerable 0.16
void → HasProperty → detrimental 0.13