Root ::= A* B*; A ::= <Name>; B ::= <Name>;
rel A.bi1 <-> B.bi1; rel A.bi2 <-> B.bi2?; rel A.bi3 <-> B.bi3*;
rel A.bi4? <-> B.bi4; rel A.bi5? <-> B.bi5?; rel A.bi6? <-> B.bi6*;
rel A.bi7* <-> B.bi7; rel A.bi8* <-> B.bi8?; rel A.bi9* <-> B.bi9*;