Text: 18 See the description of this proceeding in the Appendix.
Entailment: The description is in the appendix.
Contradiction: The appendix is missing a description of the proceeding.