Assertion list
area rug (subgroup of rug ) → HasA
Results from Ascent++: 1
area rug → HasA → rooted history 0.46