Assertion list
converse (primary) → HasProperty
Results from Ascent++: 5
converse → HasProperty → true 0.84
converse → HasProperty → trivial 0.45
converse → HasProperty → valid 0.45
converse → HasProperty → popular 0.31
converse → HasProperty → churn 0.20