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 has many shorter seasons on offer at the Gaiety Theatre.