100_a_lob_a02
Then their views will be transmitted back.
arc(r_0100_0003__views, r_0100_0002__their, gen).
arc(r_0100_0004__will, r_0100_0001__Then, nim2).
arc(r_0100_0004__will, r_0100_0005__be, scope).
arc(r_0100_0005__be, r_0100_0006__transmitted_r_0100_0007__back, scope).
arc(r_0100_0006__transmitted_r_0100_0007__back, r_0100_0003__views, arg1).
arc(r_0100_0006__transmitted_r_0100_0007__back, z_000_100_a_lob_a02_17, arg0).
fof(formula,axiom,
? [R_100_4_WILL_BE_TRANSMITTED_BACK,Z_100_A_LOB_A02_17,R_100_3_VIEWS,R_100_2_THEIR,R_100_1_THEN] :
( their(R_100_2_THEIR)
& then(R_100_1_THEN)
& will_be_transmitted_back(R_100_4_WILL_BE_TRANSMITTED_BACK,Z_100_A_LOB_A02_17,R_100_3_VIEWS)
& views(R_100_3_VIEWS)
& gen(R_100_3_VIEWS,R_100_2_THEIR)
& nim2(R_100_4_WILL_BE_TRANSMITTED_BACK,R_100_1_THEN) ) ).
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(NP-SBJ (NP-GEN (PRO;_genm_ their;{their}))
(NS views;{view}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ transmitted;{transmit})
(RP back;{back})))
(PUNC .))
(ID 100_a_lob_a02))