Question: Are both King Roger and The Devils of Loudun operas?
Sentence (from "Ruggero Settimo"): The name means "Roger the Seventh", from a family name originating in Pisa (Tuscany).
Relevant evidence: No