(TOP NIL (TOP3 TOP1 TOP2)) 
(CUSTOMER0 (TOP1) ((CUSTOMER2 CUSTOMER1))) 
((SERVICE2 SERVICE0) (TOP1) (BOTTOM)) 
(DEPARTMENT0 (TOP1) ((DEPARTMENT2 DEPARTMENT1 PRDEPT0))) 
((DEPARTMENT2 DEPARTMENT1 PRDEPT0) (DEPARTMENT0) (BOTTOM)) 
((CUSTOMER2 CUSTOMER1) (CUSTOMER0) (BOTTOM)) 
(STRING (TOP1) (BOTTOM)) 
(CONTRACT0 (TOP3) (BOTTOM)) 
(REGAT0 (TOP2) (REGAT1)) 
(REGAT1 (REGAT0) (PROMOTION1)) 
(PROMOTION1 (REGAT1) (BOTTOM)) 
(LOCATION1 (TOP2) (BOTTOM)) 
(CONTRACT2 (TOP3) (BOTTOM)) 
(TOP1 (TOP) (CUSTOMER0 (SERVICE2 SERVICE0) DEPARTMENT0 STRING)) 
(TOP2 (TOP) (LOCATION1 REGAT0)) 
(TOP3 (TOP) (CONTRACT0 CONTRACT2)) 
(BOTTOM (CONTRACT2 PROMOTION1 STRING (DEPARTMENT2 DEPARTMENT1 PRDEPT0) (SERVICE2 SERVICE0) (CUSTOMER2 CUSTOMER1) CONTRACT0 LOCATION1) NIL)