Assertion list
ngf (primary) → HasProperty
Results from Ascent++: 3
ngf → HasProperty → essential 0.68
ngf → HasProperty → higher 0.25
ngf → HasProperty → undetectable 0.25