Claim: Pravda and Stiffelio are not both operas.
Label (1 = SUPPORTED, 0 = NOT_SUPPORTED, -1 = unlabeled): 1