ask ask#1 "审阅者" @8:37 order=0 type="string"
actor actor#1 "审阅者" @8:24 order=1
ask hole#cd7e8315/ask#1 "裁判" @10:28 order=3 type="Verdict"
actor hole#cd7e8315/actor#1 "裁判" @10:16 order=4
ask ask#2 "记录员" @13:21 order=5 type="string"
actor actor#2 "记录员" @13:8 order=6
fact ask-data hole#cd7e8315/ask#1 <- ask#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor hole#cd7e8315/ask#1 <- hole#cd7e8315/actor#1 exact
fact return <- ask#2 exact
region seq#1 seq entered
region call#1 call parent=seq#1 @9:23 entered label="评判" strand
region choice#1 choice parent=seq#1 @13:39 entered exhaustive
region branch#1 branch parent=choice#1 @13:54
region branch#2 branch parent=choice#1 @13:61
mark phase#1 in=seq#1
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=phase#1
settle ask#1 in=seq#1
mark hole#cd7e8315 in=seq#1
spawn hole#cd7e8315/actor#1 in=seq#1>call#1
issue hole#cd7e8315/ask#1 in=seq#1>call#1 phase=hole#cd7e8315
settle hole#cd7e8315/ask#1 in=seq#1>call#1
jump return call#1 in=seq#1>call#1 phase=hole#cd7e8315
settle hole#cd7e8315/ask#1 in=seq#1 joins=call#1
mark phase#2 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=phase#2
jump return seq#1 in=seq#1 phase=phase#2
control branch#1 by=hole#cd7e8315/ask#1
control branch#2 by=hole#cd7e8315/ask#1
phase phase#1 "审阅" @7:1
phase hole#cd7e8315 "评判" @9:23
phase phase#2 "收尾" @12:1
