S-expression

I was blinded by the shape. I remember the list is just an abbreviation of the cons cell. So the definition of an s-expression is

sexpr: atom
| ( sexpr . sexpr )
;