Assertion list
integer (primary) → HasProperty
Results from Ascent++: 20
integer → HasProperty → prime 0.75
integer → HasProperty → negative 0.75
integer → HasProperty → divisible 0.73
integer → HasProperty → -1 0.54
integer → HasProperty → essential 0.53
integer → HasProperty → true 0.50
integer → HasProperty → congruent modulo 0.47
integer → HasProperty → distinct 0.45
integer → HasProperty → composite 0.41
integer → HasProperty → inclusive 0.41
integer → HasProperty → nonnegative 0.41
integer → HasProperty → unique 0.41
integer → HasProperty → coprime 0.41
integer → HasProperty → opposite 0.39
integer → HasProperty → permeable 0.33
integer → HasProperty → unsigned 0.31
integer → HasProperty → valid 0.31
integer → HasProperty → greater than zero 0.28
integer → HasProperty → congruent 0.25
integer → HasProperty → short 0.25