100_a_lob_a02
Then their views will be transmitted back.

n100_a_lob_a02 n100_a_lob_a02__1_1_1_1 Then n100_a_lob_a02__1_2_1_1_1 their n100_a_lob_a02__1_2_2_1 views n100_a_lob_a02__1_3_1 will n100_a_lob_a02__1_4_1_1 be n100_a_lob_a02__1_4_2_1_1 * n100_a_lob_a02__1_4_2_2_1 transmitted n100_a_lob_a02__1_4_2_3_1 back n100_a_lob_a02__1_5_1 . n100_a_lob_a02__1 IP-MAT n100_a_lob_a02__1_1 ADVP-NIM n100_a_lob_a02__1->n100_a_lob_a02__1_1 n100_a_lob_a02__1_2 NP-SBJ n100_a_lob_a02__1->n100_a_lob_a02__1_2 n100_a_lob_a02__1_3 MD;_cat_Vi_ n100_a_lob_a02__1->n100_a_lob_a02__1_3 n100_a_lob_a02__1_4 IP-INF-CAT n100_a_lob_a02__1->n100_a_lob_a02__1_4 n100_a_lob_a02__1_5 PUNC n100_a_lob_a02__1->n100_a_lob_a02__1_5 n100_a_lob_a02__1_1_1 ADV n100_a_lob_a02__1_1->n100_a_lob_a02__1_1_1 n100_a_lob_a02__1_1_1->n100_a_lob_a02__1_1_1_1 n100_a_lob_a02__1_2_1 NP-GEN n100_a_lob_a02__1_2->n100_a_lob_a02__1_2_1 n100_a_lob_a02__1_2_2 NS n100_a_lob_a02__1_2->n100_a_lob_a02__1_2_2 n100_a_lob_a02__1_2_1_1 PRO;_genm_ n100_a_lob_a02__1_2_1->n100_a_lob_a02__1_2_1_1 n100_a_lob_a02__1_2_1_1->n100_a_lob_a02__1_2_1_1_1 n100_a_lob_a02__1_2_2->n100_a_lob_a02__1_2_2_1 n100_a_lob_a02__1_3->n100_a_lob_a02__1_3_1 n100_a_lob_a02__1_4_1 BE;_cat_VePASS_ n100_a_lob_a02__1_4->n100_a_lob_a02__1_4_1 n100_a_lob_a02__1_4_2 IP-PPL-CAT n100_a_lob_a02__1_4->n100_a_lob_a02__1_4_2 n100_a_lob_a02__1_4_1->n100_a_lob_a02__1_4_1_1 n100_a_lob_a02__1_4_2_1 NP-LGS n100_a_lob_a02__1_4_2->n100_a_lob_a02__1_4_2_1 n100_a_lob_a02__1_4_2_2 VVN;__ n100_a_lob_a02__1_4_2->n100_a_lob_a02__1_4_2_2 n100_a_lob_a02__1_4_2_3 RP n100_a_lob_a02__1_4_2->n100_a_lob_a02__1_4_2_3 n100_a_lob_a02__1_4_2_1->n100_a_lob_a02__1_4_2_1_1 n100_a_lob_a02__1_4_2_2->n100_a_lob_a02__1_4_2_2_1 n100_a_lob_a02__1_4_2_3->n100_a_lob_a02__1_4_2_3_1 n100_a_lob_a02__1_5->n100_a_lob_a02__1_5_1
( (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))



%3 r_0100_0006__transmitted_r_0100_0007__back transmitted back z_0100_5005___star_ * r_0100_0006__transmitted_r_0100_0007__back->z_0100_5005___star_ [arg0] r_0100_0003__views views r_0100_0006__transmitted_r_0100_0007__back->r_0100_0003__views [arg1] r_0100_0002__their their r_0100_0003__views->r_0100_0002__their [gen] r_0100_0005__be be r_0100_0005__be->r_0100_0006__transmitted_r_0100_0007__back [scope] r_0100_0004__will will r_0100_0004__will->r_0100_0005__be [scope] r_0100_0001__Then Then r_0100_0004__will->r_0100_0001__Then [nim]
arc(r_0100_0003__views,r_0100_0002__their,gen).
arc(r_0100_0004__will,r_0100_0001__Then,nim).
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_0100_5005___star_,arg0).



%3 r_0100_0003__views views r_0100_0002__their their r_0100_0003__views->r_0100_0002__their [gen] r_0100_0004__will_r_0100_0005__be_r_0100_0006__transmitted_r_0100_0007__back will be transmitted back r_0100_0004__will_r_0100_0005__be_r_0100_0006__transmitted_r_0100_0007__back->r_0100_0003__views [arg1] r_0100_0001__Then Then r_0100_0004__will_r_0100_0005__be_r_0100_0006__transmitted_r_0100_0007__back->r_0100_0001__Then [nim] z_0100_5005___star_ * r_0100_0004__will_r_0100_0005__be_r_0100_0006__transmitted_r_0100_0007__back->z_0100_5005___star_ [arg0]
fof(formula,axiom,
    ? [R_0100_0001__THEN,R_0100_0002__THEIR,R_0100_0003__VIEWS,Z_0100_5005___STAR_,R_0100_0004__WILL_R_0100_0005__BE_R_0100_0006__TRANSMITTED_R_0100_0007__BACK] :
      ( r_0100_0001__Then(R_0100_0001__THEN)
      & r_0100_0002__their(R_0100_0002__THEIR)
      & z_0100_5005___star_(Z_0100_5005___STAR_)
      & r_0100_0004__will_r_0100_0005__be_r_0100_0006__transmitted_r_0100_0007__back(R_0100_0004__WILL_R_0100_0005__BE_R_0100_0006__TRANSMITTED_R_0100_0007__BACK)
      & has_arg0(R_0100_0004__WILL_R_0100_0005__BE_R_0100_0006__TRANSMITTED_R_0100_0007__BACK,Z_0100_5005___STAR_)
      & has_arg1(R_0100_0004__WILL_R_0100_0005__BE_R_0100_0006__TRANSMITTED_R_0100_0007__BACK,R_0100_0003__VIEWS)
      & r_0100_0003__views(R_0100_0003__VIEWS)
      & has_gen(R_0100_0003__VIEWS,R_0100_0002__THEIR)
      & has_nim(R_0100_0004__WILL_R_0100_0005__BE_R_0100_0006__TRANSMITTED_R_0100_0007__BACK,R_0100_0001__THEN) ) ).