Assertion list
zenith (primary) → HasA
Results from Ascent++: 1
zenith → HasA → motivated personnel 0.16