Assertion list
talking atm (subgroup of atm ) → IsA
Results from Ascent++: 1
talking atm → IsA → walk-up atm 0.25