actor actor#1 "alpha" @6:11 order=0
actor actor#2 "beta" @7:11 order=1
actor actor#3 "gamma" @8:11 order=2
ask ask#1 "a" @9:22 order=3 type="string"
ask ask#2 "ask" @10:45 order=4 type="string"
ask ask#3 "ask" @11:44 order=5 type="string"
fact ask-data ask#2 <- ask#1 exact
fact ask-data ask#3 <- ask#2 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor ask#3 <- actor#2 exact
fact ask-actor ask#3 <- actor#3 exact
fact return <- ask#3 exact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @10:20 entered exhaustive
region branch#1 branch parent=choice#1 @10:38
region branch#2 branch parent=choice#1 @10:42
region choice#2 choice parent=seq#1 @11:20 entered exhaustive
region branch#3 branch parent=choice#2 @11:37
region branch#4 branch parent=choice#2 @11:41
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
spawn actor#3 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
issue ask#3 in=seq#1 phase=unphased
settle ask#3 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
control branch#1 by=ask#1
control branch#2 by=ask#1
control branch#3 by=ask#2
control branch#4 by=ask#2
