Assertion list
cowboy boot (primary) → HasA
Results from Ascent++: 3
cowboy boot → HasA → a one-inch heel 0.25
cowboy boot → HasA → comfortable rubber outsole 0.25
cowboy boot → HasA → square toe 0.25