actor actor#1 "wa" @7:11 order=0
actor actor#2 "wb" @8:11 order=1
join join#1 "join" @9:27 order=2 type="[R, R]" ports="R","R"
ask ask#1 "a" @9:34 order=3 type="R"
ask ask#2 "b" @9:49 order=4 type="R"
ask ask#3 "wc" @11:34 order=5 type="string"
actor actor#3 "wc" @11:22 order=6
ask ask#4 "reader" @13:35 order=7 type="string"
actor actor#4 "reader" @13:19 order=8
fact ask-data ask#4 <- ask#3 exact
fact ask-data ask#4 <- ask#1 exact
fact ask-data ask#4 <- join#1 exact port=0
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor ask#3 <- actor#3 exact
fact ask-actor ask#4 <- actor#4 exact
fact join-in join#1 <- ask#1 exact port=0
fact join-in join#1 <- ask#2 exact port=1
fact return <- ask#4 exact
region seq#1 seq entered
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#1 in=seq#1 phase=unphased
issue ask#2 in=seq#1 phase=unphased
settle ask#1,ask#2 in=seq#1
spawn actor#3 in=seq#1
issue ask#3 in=seq#1 phase=unphased
settle ask#3 in=seq#1
spawn actor#4 in=seq#1
issue ask#4 in=seq#1 phase=unphased
settle ask#4 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
