package gen; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.*; DT = Simple | Compound. Simple = "h" HSR. HSR = int. Compound = "(" Rung "y" DT "n" DT ")". Rung = int.