LispProg = <lisprog> Exp .

Exp(F,G)   :  Simple(F,G) |  Compound(F,G) .

Simple = <v>DemNumber.

Compound ="(" <op> Op
              <args> Exp_List ")".

Exp_List ~ { Exp }.

Op(G,H)  : MulSym(G(H)) | AddSym(G,H)  | SubSym.


MulSym = "*".

AddSym = "+" .

SubSym = "-" .

Main = .


//Here is the output for this input


Checking that every alternative  of a 
 parameterized alternation class has 
  all its formal parameters in the same order ... 

  Exp()  : Simple()  passed the test ...
  Exp()  : Compound()  passed the test ...
  Op()  : MulSym()  passed the test ...
  Op()  : AddSym()  passed the test ...
  Check the number of arguments => Op() : SubSym()...