All.relast 300 Bytes
Newer Older
1
2
3
4
Root ::= A* B*;
A ::= <Name>;
B ::= <Name>;

5
6
7
8
rel A.di1  -> B;
rel A.di2? -> B;
rel A.di3* -> B;

Niklas Fors's avatar
Niklas Fors committed
9
10
11
rel A.bi1 <-> B.bi1;
rel A.bi2 <-> B.bi2?;
rel A.bi3 <-> B.bi3*;
12

Niklas Fors's avatar
Niklas Fors committed
13
14
15
rel A.bi4? <-> B.bi4;
rel A.bi5? <-> B.bi5?;
rel A.bi6? <-> B.bi6*;
16

Niklas Fors's avatar
Niklas Fors committed
17
18
19
rel A.bi7* <-> B.bi7;
rel A.bi8* <-> B.bi8?;
rel A.bi9* <-> B.bi9*;