Assertion list
alcohol prohibition (subgroup of prohibition ) → IsA
Results from Ascent++: 1
alcohol prohibition → IsA → failure 0.59