Table 2 Definitions of events in the second scenario design (in the DAG)

0

Edge is not projected (induction ends)

None

1

<e,х> (х is a leaf cohered with e; induction ends)

<tr^–o,e,d>, <tr^–i,e,х>, <loss^–,e,d>

2

same as #1

<gain,e,х>

3

<e,d₁>

None

4

<e₁,d₁>; <e₂,d₂>

None

5

<e₂,d₁>; <e₁,d₂>

None

6

<e,d₁>

<loss,e,d₂>

7

<e,d₂>

<loss,e,d₁>

8

<e,d₁>

None

9

<e,d₂>

None

10

<e,d₁>

None

11

<e,d₂>

None

12

<e₁,d>; <e₂,d>

<dupl,e,d>

13

<e₁,d>; <e₂,d>

None

14

<e₁,d>; <e₂,d>

None

15

<e₁,d'>; <e₂,d>

<tr⁺o,e₁,d>, <tr⁺i,e₁,d'>

16

<e₂,d'>; <e₁,d>

<tr⁺o,e₂,d>, <tr⁺i,e₂,d'>

17

<e₁,d'>; <e₂,d>

<gain,e₁,d'>

18

<e₂,d'>; <e₁,d>

<gain,e₂,d'>

19

<e,d*>

<sleep,e,d>

20

<e₀,d'>

<gain_big,e,d'>

21

<e,d'₁>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>

22

<e,d'₁>

<gain,e,d'>

23

<e₁,d'₁>; <e₂,d'₂>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>

24

<e₁,d'₂>; <e₂,d'₁>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>

25

<e₁,d'₁>; <e₂,d'₂>

<gain,e,d'>

26

<e₁,d'₂>; <e₂,d'₁>

<gain,e,d'>

27

<e,d'₁>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>, <loss,e,d'₂>

28

<e,d'₂>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>, <loss,e,d'₁>

29

<e,d'₁>

<gain,e,d'>, <loss,e,d'₂>

30

<e,d'₂>

<gain,e,d'>, <loss,e,d'₁>

31

<e₁,d'>; <e₂,d'>

<tr^–o,e,d>, <tr^–i,e,d'>, <loss^–,e,d>, <dupl,e,d'>

32

<e₁,d'>; <e₂,d'>

<gain,e,d'>, <dupl,e,d'>

33

<e₁,d'>; <e₂,d">

<tr^–o,e,d>, <loss^–,e,d>, <tr^–i,e,d'&d">, <tr⁺o,e₁&e₂,d'&d">, <tr⁺i,e₁&e₂,d'&d">

34

<e₁,d'>; <e₂,d">

<gain,e, d'&d">, <tr⁺o,e₁&e₂,d'&d">, <tr⁺i,e₁&e₂,d'&d">