All pastes #636420 Raw Edit

Unnamed

public text v1 · immutable
#636420 ·published 2007-07-27 21:49 UTC
rendered paste body
"Opera" {
        genre includes "Opera"
}

"Music" {
        genre != "Christmas Music"
}