Assertion list
address register (subgroup of register ) → CapableOf

Results from Ascent++: 1
address register → CapableOf → say first and second hardware s… 0.68