Assertion list
odometer (primary) → HasProperty
Results from Ascent++: 6
odometer → HasProperty → accurate 0.58
odometer → HasProperty → mechanical 0.39
odometer → HasProperty → digital 0.35
odometer → HasProperty → wrong 0.26
odometer → HasProperty → actual 0.16
odometer → HasProperty → robust 0.16