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