names
ssimple_name_parts
:=
expressions
|
NAME
expressions
|
NAME
[
sexpr
]
squalified_name
:=
expressions
|
squalified_name
::
ssimple_name_parts
expressions
|
ssimple_name_parts
ssuffixed_name
:=
expressions
|
squalified_name
of
sfactor
sthe_name
:=
expressions
|
satom
expressions
|
the
squalified_name
|
noexpand
squalified_name
|
?
NAME
|
squalified_name
shash_name
:=
expressions
|
sthe_name
expressions
|
#
shash_name