// class dictionary Plans

import edu.neu.ccs.demeter.dj.*;
import java.util.*;

Plans = Set(Plan).
Plan = "objects" <objects> Set(Obj) 
  "predicates" <predicates> Set(PredName) 
  "operators" <operators> Set(Op) 
  "initial" <initial> Set(PosLit) 
  "goal" <goal> Set(Literal)
  "solution" Set(OpName).
Literal : PosLit | NegLit common PredName <args> Set(Obj).
PosLit = .
NegLit = "!".
Op = OpName "preconditions" <preconditions> Set(Literal) 
            "effects" <effects> Set(Literal).

Obj = Ident.
PredName = Ident.
OpName = Ident.

Set(S) ~ "(" {S} ")".
Main = .