Assertion list for term "say first and second hardware stacks".
Results from Ascent++: 1
address register (subgroup of register) → CapableOf → say first and second hardware stacks 0.68