mnli 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 only offers the spring and autumn seasons.