// CD for Part E
include "lib.cd";

RawMaterialInstance = <cs> List(Constraint) *l "relations" <rd> List(RelationDefinition).
Constraint = *l <w> Weight <r> RelationName <vs> List(Variable).
Weight = <v> int ":" *s.
RelationName = <v> ident *s.
Variable = <v> ident *s.

RelationDefinition : PseudoBoolEx | BoolEx.
PseudoBoolEx = *l "pseudo" *s <r> RelationName "=" *s <ts> List(Term) <eq> Equality <val> Value.
BoolEx = *l <r> RelationName *s "=" *s <f> BoolFunc.

BoolFunc : BoolVal | Or | And.
Or = "(or" *s <ts> List(Term) ")".
And = "(and" *s <ts> List(Term) ")".

Term = <co> Option(Coeff) <t> BoolVal <aors> Option(AddOrSub). 
Coeff = <v> int "*".
BoolVal = <s> Sign <v> ident *s.
Sign : Pos | Neg.
Pos = .
Neg = "!".
AddOrSub : Add | Sub.
Add = "+" *s.
Sub = "-" *s.
Equality : Equals | GreaterOrEq | LessOrEq.
Equals = "=" *s.
GreaterOrEq = ">=" *s.
LessOrEq = "<=" *s.
Value = <v> int.