Assertion list
christmas tree (subgroup of tree ) → IsA
Results from Ascent++: 3
christmas tree → IsA → decorated tree 0.77
christmas tree → IsA → tree 0.30
christmas tree → IsA → decorated evergreen coniferous … 0.16