Test.relast

Root ::= SenderRoot* ReceiverRoot;
SenderRoot ::= A* B* ;
rel SenderRoot.MyA -> A;
rel SenderRoot.OptionalA? -> A;
rel SenderRoot.ManyA* -> A;

rel SenderRoot.BiMyA <-> A.ToMyA?;
rel SenderRoot.BiOptionalA? <-> A.ToOptionalA?;
rel SenderRoot.BiManyA* <-> A.ToManyA?;

rel SenderRoot.MyB -> B;
rel SenderRoot.OptionalB? -> B;
rel SenderRoot.ManyB* -> B;

rel SenderRoot.BiMyB <-> B.ToMyB?;
rel SenderRoot.BiOptionalB? <-> B.ToOptionalB?;
rel SenderRoot.BiManyB* <-> B.ToManyB?;

ReceiverRoot ::=
FromMyA:A   FromOptionalA:A   FromManyA:A*
FromBiMyA:A FromBiOptionalA:A FromBiManyA:A*
<FromMyB:String>   <FromOptionalB:String>   <FromManyB:String>
<FromBiMyB:String> <FromBiOptionalB:String> <FromBiManyB:String>
;

A ::= <Value> Inner ;
B ::= <Value> Inner ;
Inner ::= <InnerValue> ;