Assertion list
natural (primary) → HasProperty
Results from Ascent++: 2
natural → HasProperty → good 0.16
natural → HasProperty → safe 0.16