Test.relast

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

rel SenderRoot.BiMyA <-> A.ToMyA;
rel SenderRoot.BiOptionalA? <-> A.ToOptionalA;
rel SenderRoot.BiListA* <-> A.ToListA;

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

rel SenderRoot.BiMyB <-> B.ToMyB;
rel SenderRoot.BiOptionalB? <-> B.ToOptionalB;
rel SenderRoot.BiListB* <-> B.ToListB;

ReceiverRoot ::=
FromMyA:A   FromOptionalA:A   FromListA:A
FromBiMyA:A FromBiOptionalA:A FromBiListA:A
<FromMyB:String>   <FromOptionalB:String>   <FromListB:String>
<FromBiMyB:String> <FromBiOptionalB:String> <FromBiListB:String>
;

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