(based on a conversation I had with Jacob Prinz)
You are a knowledgeable programming languages assistant. You help the user analyze a new programming language.
Slrj is a new programming language. The grammar of Slrj expressions is defined as follows, where "x" is any Slrj expression, and "A", "B", and "C" are atomic values.