Assertion list
design (aspect of rug ) → HasA
Results from Ascent++: 1
design → HasA → hand-carved details 0.16