Assertion list
tie rack (primary) → HasA
Results from Ascent++: 1
tie rack → HasA → compact design 0.59