ask ask#1 "勘察员" @14:35 order=0 type="Survey"
actor actor#1 "勘察员" @14:22 order=1
ask hole#21b40fca/ask#1 "分组员" @16:36 order=3 type="Plan"
actor hole#21b40fca/actor#1 "分组员" @16:23 order=4
hole hole#7c7fc07b "决定顺序" @17:23 order=5 type="Order"
ask ask#2 "执行者" @20:21 order=6 type="string"
actor actor#2 "执行者" @20:8 order=7
fact ask-data ask#2 <- hole#7c7fc07b exact
fact ask-data ask#2 <- hole#21b40fca/ask#1 exact
fact ask-data hole#21b40fca/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#21b40fca/ask#1 <- hole#21b40fca/actor#1 exact
fact hole-data hole#7c7fc07b <- hole#21b40fca/ask#1 exact
fact return <- ask#2 exact
region seq#1 seq entered
region call#1 call parent=seq#1 @15:20 entered label="决定分组" strand
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
mark hole#21b40fca in=seq#1
spawn hole#21b40fca/actor#1 in=seq#1>call#1
issue hole#21b40fca/ask#1 in=seq#1>call#1 phase=hole#21b40fca
settle hole#21b40fca/ask#1 in=seq#1>call#1
issue hole#7c7fc07b in=seq#1>call#1 phase=hole#21b40fca
mark hole#7c7fc07b in=seq#1>call#1
settle hole#7c7fc07b in=seq#1>call#1
jump return call#1 in=seq#1>call#1 phase=hole#21b40fca
settle hole#21b40fca/ask#1,hole#7c7fc07b in=seq#1 joins=call#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
jump return seq#1 in=seq#1 phase=unphased
phase hole#21b40fca "决定分组" @15:20
phase hole#7c7fc07b "决定顺序" @17:23 fill=hole#21b40fca
