Assertion list
troop (primary) → IsA
Results from Ascent++: 1
troop → IsA → unit 0.25