Alphabet
;
Sets
S = %0 ;

Rules

"R"
a:b <=> X _ ; where X in S ;