Assertion list
grand bazaar (subgroup of bazaar ) → HasA
Results from Ascent++: 1
grand bazaar → HasA → four main gates 0.38