Assertion list
good topic (subgroup of topic ) → HasProperty
Results from Ascent++: 1
good topic → HasProperty → interesting 0.16