s_expression

s_expression ::= atomic_symbol 
      | "(" s_expression "." s_expression ")" 
      | list 

This rule is called by

-> list
-> s_expression