actor actor#1 "judge" @10:15 order=0
ask ask#1 "p" @11:30 order=1 type="string"
actor actor#2 "p" @11:19 order=2
ask ask#2 "l" @12:32 order=3 type="string"
actor actor#3 "l" @12:21 order=4
ask ask#3 "judge" @14:16 order=5 type="string"
ask ask#4 "judge" @17:16 order=6 type="string"
fact ask-data ask#3 <- ask#2 inexact
fact ask-data ask#3 <- ask#1 inexact
fact ask-data ask#4 <- ask#2 inexact
fact ask-data ask#4 <- ask#1 inexact
fact ask-actor ask#1 <- actor#2 exact
fact ask-actor ask#2 <- actor#3 exact
fact ask-actor ask#3 <- actor#1 exact
fact ask-actor ask#4 <- actor#1 exact
fact return <- ask#3 inexact
fact return <- ask#4 inexact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @20:11 entered exhaustive
region branch#1 branch parent=choice#1 @20:18
region branch#2 branch parent=choice#1 @20:26
region choice#2 choice parent=seq#1 @21:19 entered exhaustive
region branch#3 branch parent=choice#2 @13:1
region call#1 call parent=branch#3 @21:19 entered label="plain"
region branch#4 branch parent=choice#2 @16:1
region call#2 call parent=branch#4 @21:19 entered label="f"
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
spawn actor#3 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
issue ask#3 in=seq#1>choice#2>branch#3>call#1 phase=unphased
jump return call#1 in=seq#1>choice#2>branch#3>call#1 phase=unphased
issue ask#4 in=seq#1>choice#2>branch#4>call#2 phase=unphased
jump return call#2 in=seq#1>choice#2>branch#4>call#2 phase=unphased
settle ask#3,ask#4 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
