Atom = Literal
| Parameter
| CaseExpression
| ((C,O,U,N,T), [SP], '(', [SP], '*', [SP], ')')
| ListComprehension
| PatternComprehension
| Quantifier
| PatternPredicate
| ParenthesizedExpression
| FunctionInvocation
| ExistentialSubquery
| Variable
;
ParenthesizedExpression = '(', [SP], Expression, [SP], ')' ;
Variable = SymbolicName ;