Assertion list
bitcoin atm (subgroup of atm ) → IsA
Results from Ascent++: 1
bitcoin atm → IsA → kiosk 0.68