The following is a simplified BNF description of the syntax of OPS5. Terminals are printed in a Roman type face, and non-terminals are printed in italics. The only nonstandard meta symbol used is the star (*
). The star indicates that the preceding item is to be repeated zero or more times.
production ::= ( p constant-symbolic atom Ihs --> rhs )
lhs ::= positive-ce ce*