ask ask#1 "勘察员" @14:35 order=0 type="Survey"
actor actor#1 "勘察员" @14:22 order=1
hole hole#21b40fca "决定分组" @15:20 order=2 type="Plan"
ask ask#2 "执行者" @17:33 order=3 type="string"
actor actor#2 "执行者" @17:20 order=4
fact ask-data ask#2 <- hole#21b40fca exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact hole-data hole#21b40fca <- ask#1 exact
fact return <- ask#2 exact
region seq#1 seq entered
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
issue hole#21b40fca in=seq#1 phase=phase#1
mark hole#21b40fca in=seq#1
settle hole#21b40fca in=seq#1
mark phase#2 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=phase#2
settle ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=phase#2
phase phase#1 "摸底" @13:1
phase hole#21b40fca "决定分组" @15:20
phase phase#2 "执行" @16:1
