Assertion list
good thesis (subgroup of dissertation ) → HasA

Results from Ascent++: 1
good thesisHasA two parts 0.68