Assertion list
large estate (subgroup of estate ) → IsA
Results from Ascent++: 1
large estate → IsA → located three large houses 0.68