Alphabet
a: a
b c

;

Rules

"hi"
a:c <=> _ b ;