Assertion list
negation (primary) → HasProperty
Results from Ascent++: 4
negation → HasProperty → true 0.84
negation → HasProperty → equivalent 0.44
negation → HasProperty → impossible 0.43
negation → HasProperty → provable 0.37