aces 0.0.3

Algebra of Cause-Effect Structures
Documentation
1
2
3
4
5
6
7
8
9
name: Road over bridge without U-turn

B <: [[E >, r >], [W >, l >]]
B >: [[e <, r <], [w <, l <]]

e >: e' <
w >: w' <
E <: E' >
W <: W' >