//cd for generic version

include "general.cd";

package gen;

TypeInstance = <r> RelationNr.
IntermediateProduct = "(assignment:" <assignment> List(SingleAssignment) 
")".
SingleAssignment = <var> Variable "=" <value> boolean.
RawMaterialInstance = <cs> List(Constraint) EOF.
Constraint = <w> Weight <r> RelationNr <vs> List(Variable) *l.
Weight = <v> int ":" *s.
RelationNr = <v> int *s.
Variable = <v> ident *s.

Predicate = <pred> List(RelationNr).