Assertion list
christmas tree (subgroup of tree ) → HasA
Results from Ascent++: 2
christmas tree → HasA → a christmas tree 0.25
christmas tree → HasA → long history 0.25