2. a: |E|
3. b: |E|
4. c: |E|
5. tr: |E| List
6. a somewhere delivered before b
7.
a somewhere delivered before c8.
c somewhere delivered before b
False 
E:EventStruct, a,b,c:|E|, tr:|E| List.
a somewhere delivered before b 
a somewhere delivered before c 
c somewhere delivered before b| 1 | 1. E: EventStruct 2. a: |E| 3. b: |E| 4. c: |E| 5. tr: |E| List 6. a somewhere delivered before b 7. a somewhere delivered before c8. c somewhere delivered before b False |
About:
 |  |  |  |  |