Assertion list
prohibition (primary) → IsA
Results from Ascent++: 1
prohibition → IsA → the law of the land 0.31