Assertion list
value (aspect of limit ) → HasProperty
Results from Ascent++: 47
value → HasProperty → equal 0.83
value → HasProperty → zero 0.72
value → HasProperty → false 0.64
value → HasProperty → greater 0.61
value → HasProperty → positive 0.61
value → HasProperty → greater than 0 0.59
value → HasProperty → lower 0.58
value → HasProperty → valid 0.56
value → HasProperty → consistent 0.55
value → HasProperty → true 0.53
value → HasProperty → acceptable 0.53
value → HasProperty → monotone 0.52
value → HasProperty → large 0.51
value → HasProperty → high 0.47
value → HasProperty → meaningful 0.47
value → HasProperty → possible 0.46
value → HasProperty → negative 0.44
value → HasProperty → equivalent 0.43
value → HasProperty → -1 0.40
value → HasProperty → small 0.40
value → HasProperty → invalid 0.39
value → HasProperty → identical 0.38
value → HasProperty → unexpected 0.36
value → HasProperty → a long 0.34
value → HasProperty → constant 0.34
value → HasProperty → correct 0.34
value → HasProperty → significant 0.34
value → HasProperty → smaller 0.34
value → HasProperty → unknown 0.34
value → HasProperty → close 0.32
value → HasProperty → empty 0.32
value → HasProperty → finite 0.32
value → HasProperty → indeterminate 0.32
value → HasProperty → larger 0.32
value → HasProperty → sensitive 0.32
value → HasProperty → undefined 0.32
value → HasProperty → low 0.29
value → HasProperty → important 0.29
value → HasProperty → missing 0.29
value → HasProperty → proportional 0.29
value → HasProperty → relative 0.29
value → HasProperty → reset 0.29
value → HasProperty → absent 0.25
value → HasProperty → current 0.25
value → HasProperty → independent 0.25
value → HasProperty → sufficient 0.25
value → HasProperty → incorrect 0.15