Assertion list
true wisdom (subgroup of wisdom ) → HasProperty
Results from Ascent++: 1
true wisdom → HasProperty → consistent 0.75