Assertion list
wartime prohibition (subgroup of prohibition ) → IsA

Results from Ascent++: 1
wartime prohibitionIsA spark 0.68