Assertion list
number (aspect of variable ) → HasProperty

Results from Ascent++: 81
numberHasProperty small 0.74
numberHasProperty large 0.74
numberHasProperty lower 0.70
numberHasProperty positive 0.68
numberHasProperty low 0.67
numberHasProperty zero 0.67
numberHasProperty divisible 0.63
numberHasProperty higher 0.62
numberHasProperty high 0.59
numberHasProperty negative 0.53
numberHasProperty true 0.53
numberHasProperty greater 0.53
numberHasProperty finite 0.51
numberHasProperty accurate 0.50
numberHasProperty real 0.50
numberHasProperty appropriate 0.49
numberHasProperty possible 0.49
numberHasProperty proportional 0.47
numberHasProperty unique 0.46
numberHasProperty smaller 0.46
numberHasProperty unknown 0.46
numberHasProperty important 0.46
numberHasProperty variable 0.45
numberHasProperty varied 0.45
numberHasProperty irrelevant 0.45
numberHasProperty constant 0.44
numberHasProperty false 0.44
numberHasProperty odd 0.43
numberHasProperty significant 0.40
numberHasProperty correct 0.40
numberHasProperty highest 0.40
numberHasProperty greater than zero 0.39
numberHasProperty identical 0.39
numberHasProperty sufficient 0.39
numberHasProperty consistent 0.38
numberHasProperty arbitrary 0.37
numberHasProperty prime 0.37
numberHasProperty closer 0.36
numberHasProperty equivalent 0.36
numberHasProperty greater than one 0.35
numberHasProperty uncertain 0.35
numberHasProperty few 0.33
numberHasProperty optional 0.33
numberHasProperty configurable 0.32
numberHasProperty exponential 0.32
numberHasProperty less than 0 0.32
numberHasProperty the lowest 0.32
numberHasProperty greater than 5 0.30
numberHasProperty minimum 0.30
numberHasProperty insufficient 0.30
numberHasProperty apparent 0.28
numberHasProperty determinable 0.28
numberHasProperty fewer 0.28
numberHasProperty greater than 10 0.28
numberHasProperty infinite 0.28
numberHasProperty meaningful 0.28
numberHasProperty rounded 0.28
numberHasProperty surprising 0.28
numberHasProperty unbounded 0.28
numberHasProperty unlimited 0.28
numberHasProperty valid 0.28
numberHasProperty dependent 0.25
numberHasProperty effective 0.25
numberHasProperty heterogeneous 0.25
numberHasProperty insignificant 0.25
numberHasProperty less than 10 0.25
numberHasProperty maximum 0.25
numberHasProperty minimal 0.25
numberHasProperty normal 0.25
numberHasProperty overwhelming 0.25
numberHasProperty precise 0.25
numberHasProperty sequential 0.25
numberHasProperty theoretical 0.25
numberHasProperty unchanged 0.25
numberHasProperty unimportant 0.25
numberHasProperty clear 0.22
numberHasProperty good 0.16
numberHasProperty misleading 0.16
numberHasProperty staggering 0.16
numberHasProperty substantial 0.16
numberHasProperty wrong 0.16