(4) Die Hardcore-Pornografie-Zensur ist geboten.
    /*Geboten: Maßnahme z*/
(5) Die Hardcore-Pornografie-Zensur ist eine Gesetzgebung, die
    bestimmte Formen der Meinungsäußerung und -wiedergabe untersagt
    und sanktioniert.
    /*Maßnahme z ist von der Art F*/
--
Konjunktions- und Existenzeinführung
--
(6) [Zensurgebot]: Es gibt Gesetzgebung, die bestimmte Formen der
    Meinungsäußerung und -wiedergabe untersagt und sanktioniert,
    und die geboten ist.
    /*(Es gibt ein x): x ist von der Art F und x ist geboten*/