Premise:  Opera Ireland (formerly the Dublin Grand Opera Society) offers short spring and winter seasons based on the standard repertoire at the Gaiety Theatre in King Street.
Hypothesis: Opera Ireland has many shorter seasons on offer at the Gaiety Theatre.
Label: entailment