Assertion list
zap (primary) → HasA
Results from Ascent++: 2
zap → HasA → joint venture 0.53
zap → HasA → few simple tools 0.29