actor actor#1 "judge" @5:15 order=0
ask ask#1 "s" @6:33 order=1 type="string"
actor actor#2 "s" @6:22 order=2
ask ask#2 "judge" @10:44 order=3 type="string"
fact ask-data ask#2 <- ask#1 exact
fact ask-actor ask#1 <- actor#2 exact
fact ask-actor ask#2 <- actor#1 exact
fact return <- ask#2 exact
region seq#1 seq entered
region call#1 call parent=seq#1 @10:19 entered label="run" strand
region call#2 call parent=call#1 @8:16 entered
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
issue ask#2 in=seq#1>call#1>call#2 phase=unphased
settle ask#2 in=seq#1>call#1
jump return call#1 in=seq#1>call#1 phase=unphased
settle ask#2 in=seq#1 joins=call#1
jump return seq#1 in=seq#1 phase=unphased
