Assertion list
butcher (primary) → HasA
Results from Ascent++: 2
butcher → HasA → more meat 0.36
butcher → HasA → shop 0.25