Syntax rules :
Ex : ((#0 and #1) are unknowns)( $freevar & #boundvar )

Terminology

Id Syntax Action