Alphabet

a b a:b b:a c a:c b:c ;

Rule-variables

X ;

Rules

"R1"
 a:X | b:X  => a:b _ ; where X in (a c);
