Add AbstractProhibition class description and ArbitraryProhibition class description