Document: 
	DocumentType DocumentBinding [DocumentSpineCaption] DocumentSheet DocumentStackMethod DocumentSheetOrder :: GDocument;
	
	DocumentType: 
		documentTypeNormal | documentTypeBooklet | documentTypePerfectBinding;

	DocumentBinding: 
		documentBindingTop | documentBindingLeft | documentBindingRight;
	
	DocumentSpineCaption: 
		[documentSpineCaptionBackgroundColor] DocumentSpineCaptionAlignment documentSpineCaptiontextColor DocumentSpineCaptionOrientation :: GDocumentSpineCaption;
	
		DocumentSpineCaptionAlignment: 
			documentSpineCaptionAlignmentTop | documentSpineCaptionAlignmentMiddle | documentSpineCaptionAlignmentBottom;
			
		DocumentSpineCaptionOrientation: 
			documentSpineCaptionOrientationHorL | documentSpineCaptionOrientationHorR | documentSpineCaptionOrientationVert;
	
	DocumentSheet:
		DocumentSheetFaceDirection DocumentSheetHeaderDirection [DocumentSheetTab] [DocumentSheetPage] [DocumentSheetHole] [DocumentSheetPaperPass] DocumentSheetMedia [DocumentSheetFolding] [DocumentSheetStaple] [DocumentSheetNumberingMethod] DocumentSheetSide :: GDocumentSheet;
		
		DocumentSheetFaceDirection:
			documentSheetFaceDirectionUp | documentSheetFaceDirectionDown;
		
		DocumentSheetHeaderDirection:
			documentSheetHeaderDirectionUp | documentSheetHeaderDirectionDown;
			
		DocumentSheetTab:
			DocumentSheetTabVerticalAlignment DocumentSheetTabHorizontalAlignment DocumentSheetTabOrientation [DocumentSheetTabText] :: GDocumentSheetTab;
		
			DocumentSheetTabVerticalAlignment: 
				DocumentSheetTabVerticalAlignmentPosition;
			
				DocumentSheetTabVerticalAlignmentPosition:
					documentSheetTabVerticalAlignmentPositionTop | documentSheetTabVerticalAlignmentPositionCenter | documentSheetTabVerticalAlignmentPositionBottom;
		
			DocumentSheetTabHorizontalAlignment: 
				DocumentSheetTabHorizontalAlignmentPosition;
			
				DocumentSheetTabHorizontalAlignmentPosition:
					documentSheetTabHorizontalAlignmentPositionLeft | documentSheetTabHorizontalAlignmentPositionCenter | documentSheetTabHorizontalAlignmentPositionRight;
	
			DocumentSheetTabOrientation:
				documentSheetTabOrientationVert | documentSheetTabOrientationHorL | documentSheetTabOrientationHorR;
			
				DocumentSheetTabText:
					[documentSheetTabTextColor] [DocumentSheetTabTextBackSide] :: GDocumentSheetTabText;

					DocumentSheetTabTextBackSide: [documentSheetTabBackSideRotate] :: GDocumentSheetTabTextBackSide;
				
		DocumentSheetPage:
			documentSheetPageColor DocumentSheetPageSide [documentSheetPageCoverPage] DocumentSheetPageOrientation [DocumentSheetPageForce] :: GDocumentSheetPage;
			
			DocumentSheetPageSide:
				documentSheetPageSideRecto | documentSheetPageSideVerso;
				
			DocumentSheetPageOrientation:
				documentSheetPagePortrait | documentSheetPageLandscape;
				
			DocumentSheetPageForce:
				documentSheetPageForceFront | documentSheetPageForceBack;
				
		DocumentSheetHole:
			DocumentSheetHoleLocation :: GDocumentSheetHole;
			
			DocumentSheetHoleLocation:
				documentSheetHoleTop | documentSheetHoleLeft | documentSheetHoleRight | documentSheetHoleBottom;
		
		DocumentSheetPaperPass:
			documentSheetPaperPassMixed | documentSheetPaperPassSef | documentSheetPaperPassLef;
		
		DocumentSheetMedia:
			[documentSheetMediaInsert] [documentSheetMediaTab] [documentSheetMediaCyclic] [DocumentSheetMediaType] [DocumentSheetMediaColor] [documentSheetMediaHole] [documentSheetMediaSingleSided] [documentSheetMediaPreprinted] :: GDocumentSheetMedia;
			
			DocumentSheetMediaType: 
				documentSheetMediaTypePlain | documentSheetMediaTypeGlossy | documentSheetMediaTypeCoated | documentSheetMediaTypeStationary | documentSheetMediaTypeTransparent | documentSheetMediaTypePlasticSheet | documentSheetMediaTypeColorCopy | documentSheetMediaTypeCustom;
				
			DocumentSheetMediaColor:
				documentSheetMediaColorWhite | documentSheetMediaColorRed | documentSheetMediaColorGreen | documentSheetMediaColorBlue | documentSheetMediaColorCyan | documentSheetMediaColorMagenate | documentSheetMediaColorYellow | documentSheetMediaColorPink | documentSheetMediaColorGrey | documentSheetMediaColorBlack | documentSheetMediaColorPurple | documentSheetMediaColorOrange | documentSheetMediaColorBuff | documentSheetMediaColorGoldenrod | documentSheetMediaColorClear | documentSheetMediaColorIvory | documentSheetMediaColorCustom;
			
		DocumentSheetFolding:
			documentSheetFoldingTriFold | documentSheetFoldingMultiTriFold | documentSheetFoldingTriFoldOut | documentSheetFoldingHalfFold | documentSheetFoldingMultiHalfFold | documentSheetFoldingParallelFold | documentSheetFoldingSimpleGateFold | documentSheetFoldingGateFold | documentSheetFoldingZFolding | documentSheetFoldingMixed;
		
		DocumentSheetStaple: 
			[DocumentSheetStapleLocation] :: GDocumentSheetStaple;
			
			DocumentSheetStapleLocation:
				documentSheetStapleLocationTop | documentSheetStapleLocationLeft | documentSheetStapleLocationRight | documentSheetStapleLocationBottom | documentSheetStapleLocationCenter | documentSheetStapleLocationTopLeft | documentSheetStapleLocationTopRight | documentSheetStapleLocationLeftTop | documentSheetStapleLocationLeftBottom | documentSheetStapleLocationRightTop | documentSheetStapleLocationRightBottom | documentSheetStapleLocationBottomLeft | documentSheetStapleLocationBottomRight | documentSheetStapleLocationMixed;
		
		DocumentSheetNumberingMethod:
			DocumentSheetNumberingMethodSide [documentSheetNumberingMethodColor] :: GDocumentSheetNumberingMethod;
			
			DocumentSheetNumberingMethodSide:
				DocumentSheetNumberingMethodSidePosition DocumentSheetNumberingMethodSideAlign DocumentSheetNumberingMethodSideSide :: GDocumentSheetNumberingMethodSide;
				
				DocumentSheetNumberingMethodSidePosition:
					documentSheetNumberingMethodSidePositionLeft | documentSheetNumberingMethodSidePositionCenter | documentSheetNumberingMethodSidePositionRight;
					
				DocumentSheetNumberingMethodSideAlign:
					documentSheetNumberingMethodSideAlignTop | documentSheetNumberingMethodSideAlignBottom;
				
				DocumentSheetNumberingMethodSideSide:
					documentSheetNumberingMethodSideSideRecto | documentSheetNumberingMethodSideSideVerso;
				
		DocumentSheetSide:
			documentSheetSide1 | documentSheetSide2;
			
	DocumentStackMethod:
		documentStackMethodNone | documentStackMethodOffset | documentStackMethodMixed;
		
	DocumentSheetOrder:
		documentSheetOrderNormal | documentSheetOrderReverse;
		
%% 

not documentTypeBooklet or not DocumentSheetFolding;
not documentTypeBooklet or not DocumentSheetTab;
not documentTypeBooklet or not DocumentSheetHole;
not documentTypeBooklet or not DocumentSheetStaple;
not documentTypeBooklet or not documentSheetMediaTab;
not documentTypeBooklet or not documentSheetMediaHole;
not documentTypeBooklet or not documentSheetMediaCyclic;
not documentTypePerfectBinding or not DocumentSheetFolding;
not documentTypePerfectBinding or not DocumentSheetTab;
not documentTypePerfectBinding or not documentSheetMediaTab;
not documentTypePerfectBinding or not DocumentSheetStaple;
not documentTypePerfectBinding or not documentSheetMediaCyclic;
documentSheetStapleLocationLeft implies documentBindingLeft;
documentSheetStapleLocationTop implies documentSpineCaptionAlignmentTop;
not DocumentSheetFolding or not documentSheetMediaTab;
documentSheetFoldingZFolding implies documentBindingTop;
DocumentSheetTab implies documentSheetMediaTab;
not DocumentSheetTab or not DocumentSheetFolding;
not DocumentSheetTabTextBackSide or not documentSheetMediaSingleSided;
DocumentSheetPageForce implies documentSheetSide2;
documentSheetPageForceBack implies documentSheetPageSideVerso;
documentSheetPageForceFront implies documentSheetPageSideRecto;
documentSheetMediaSingleSided implies documentSheetSide1;
documentSheetNumberingMethodSideSideVerso implies documentSheetSide2;

(documentSheetPaperPassSef and documentBindingTop) or (documentSheetPaperPassLef and documentBindingLeft) implies not documentSheetMediaTab;
DocumentSpineCaption implies (documentTypeBooklet or documentTypePerfectBinding);
documentTypePerfectBinding and documentSheetPageCoverPage implies not DocumentSheetHole;
documentTypePerfectBinding and documentSheetPageCoverPage implies not DocumentSheetFolding;
documentTypePerfectBinding and documentSheetPageCoverPage implies documentSheetSide2;
documentTypePerfectBinding and documentSheetPageCoverPage implies not DocumentSheetPageForce;
documentTypePerfectBinding and documentSheetPageCoverPage implies not DocumentSheetNumberingMethod;