Assertion list
naturalization (primary) → HasProperty
Results from Ascent++: 3
naturalization → HasProperty → invalid 0.35
naturalization → HasProperty → easy 0.25
naturalization → HasProperty → useful 0.16