actor actor#1 "black" @7:15 order=0
actor actor#2 "white" @8:15 order=1
ask ask#1 "ask" @12:40 order=2 type="string"
fact ask-data ask#1 <- ask#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#1 <- actor#2 exact
fact return <- ask#1 exact
region seq#1 seq entered
region loop#1 loop parent=seq#1 @11:1
region choice#1 choice parent=loop#1 @12:18 entered exhaustive
region branch#1 branch parent=choice#1 @12:25
region branch#2 branch parent=choice#1 @12:33
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#1 in=seq#1>loop#1 phase=unphased
settle ask#1 in=seq#1>loop#1
jump return seq#1 in=seq#1 phase=unphased
control loop#1 by=ask#1
