ask ask#1 "scan" @5:31 order=0 type="Detail | null"
actor actor#1 "scan" @5:17 order=1
ask ask#2 "act" @7:21 order=2 type="string"
actor actor#2 "act" @7:8 order=3
fact ask-data ask#2 <- ask#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact return <- ask#2 exact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @6:11 entered
region branch#1 branch parent=choice#1 @6:27
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
jump return seq#1 in=seq#1 phase=unphased
control branch#1 by=ask#1
