Text: All are assembled inside the church for the prayer.
Entailment: Everyone is in the church.
Contradiction: The church has been empty all night.