Assertion list
pattern (aspect of rug ) → HasA

Results from Ascent++: 1
patternHasA meaning 0.25