Question: Are The Knot Garden and Ariadne auf Naxos both operas?
Sentence (from "The Knot Garden"): The Knot Garden is the third opera by composer Michael Tippett for which he wrote the original English libretto.
Relevant evidence: Yes