Text: And that would include boraquasco.
Entailment: A boraquasco was included.
Contradiction: The boraquasco was not included.