sL=BEGAF(C)
$[Begin atomic formula predicate. sL=1 if C is a legal first character
of an atomic formula, otherwise sL=0.]
safe BEGAF.
(1) if DIGIT(C) eq 1 or LETTER(C) eq 1 or C eq $=- or C eq $=+
then sL=1 else sL=0; return..