Lattice := “Lattice“ SimpleName

“Security Labels” NodeList

“Ordering” EdgeLists

“Clearance List” ClearanceLists

“End Lattice”;

NodeList := NodeName | NodeList ‘,’ NodeName;

EdgeLists := NodeList | EdgeLists NodeList;

ClearanceLists := ClearanceList | ClearanceLists ClearanceList;

ClearanceList := IdentifierList ‘:’ NodeList;

NodeName := IDENTIFIER;

SimpleName := IDENTIFIER;

IdentifierList := IDENTIFIER | IdentifierList IDENTIFIER;