ask ask#1 "alpha" @5:26 order=0 type="string"
actor actor#1 "alpha" @5:11 order=1
ask ask#2 "beta" @6:25 order=2 type="string"
actor actor#2 "beta" @6:11 order=3
ask ask#3 "gamma" @8:26 order=4 type="string"
actor actor#3 "gamma" @8:11 order=5
ask ask#4 "judge" @10:23 order=6 type="string"
actor actor#4 "judge" @10:8 order=7
fact ask-data ask#4 <- ask#1 exact
fact ask-data ask#4 <- ask#2 exact
fact ask-data ask#4 <- ask#3 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor ask#3 <- actor#3 exact
fact ask-actor ask#4 <- actor#4 exact
fact return <- ask#4 exact
region seq#1 seq entered
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle maybe ask#1,ask#2 in=seq#1
spawn actor#3 in=seq#1
issue ask#3 in=seq#1 phase=unphased
settle maybe ask#3 in=seq#1
spawn actor#4 in=seq#1
issue ask#4 in=seq#1 phase=unphased
jump return seq#1 in=seq#1 phase=unphased
