Assertion list
arch (primary) → HasA
Results from Ascent++: 3
arch → HasA → keystone 0.28
arch → HasA → concrete floor 0.25
arch → HasA → pouch 0.25