Context                Previous, Next                Top


100_a_lob_a02
Then their views will be transmitted back.

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


%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_000_100_a_lob_a02_17 r_0100_0004__will_r_0100_0005__be_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) ) ).


n100_a_lob_a02 n100_a_lob_a02_4 Then n100_a_lob_a02_8 their n100_a_lob_a02_10 views n100_a_lob_a02_12 will n100_a_lob_a02_15 be n100_a_lob_a02_18 * n100_a_lob_a02_20 transmitted n100_a_lob_a02_22 back n100_a_lob_a02_24 . n100_a_lob_a02_1 IP-MAT n100_a_lob_a02_2 ADVP-NIM n100_a_lob_a02_1->n100_a_lob_a02_2 n100_a_lob_a02_5 NP-SBJ n100_a_lob_a02_1->n100_a_lob_a02_5 n100_a_lob_a02_11 MD;_cat_Vi_ n100_a_lob_a02_1->n100_a_lob_a02_11 n100_a_lob_a02_13 IP-INF-CAT n100_a_lob_a02_1->n100_a_lob_a02_13 n100_a_lob_a02_23 PUNC n100_a_lob_a02_1->n100_a_lob_a02_23 n100_a_lob_a02_3 ADV n100_a_lob_a02_2->n100_a_lob_a02_3 n100_a_lob_a02_3->n100_a_lob_a02_4 n100_a_lob_a02_6 NP-GEN n100_a_lob_a02_5->n100_a_lob_a02_6 n100_a_lob_a02_9 NS n100_a_lob_a02_5->n100_a_lob_a02_9 n100_a_lob_a02_7 PRO;_genm_ n100_a_lob_a02_6->n100_a_lob_a02_7 n100_a_lob_a02_7->n100_a_lob_a02_8 n100_a_lob_a02_9->n100_a_lob_a02_10 n100_a_lob_a02_11->n100_a_lob_a02_12 n100_a_lob_a02_14 BE;_cat_VePASS_ n100_a_lob_a02_13->n100_a_lob_a02_14 n100_a_lob_a02_16 IP-PPL-CAT n100_a_lob_a02_13->n100_a_lob_a02_16 n100_a_lob_a02_14->n100_a_lob_a02_15 n100_a_lob_a02_17 NP-LGS n100_a_lob_a02_16->n100_a_lob_a02_17 n100_a_lob_a02_19 VVN;__ n100_a_lob_a02_16->n100_a_lob_a02_19 n100_a_lob_a02_21 RP n100_a_lob_a02_16->n100_a_lob_a02_21 n100_a_lob_a02_17->n100_a_lob_a02_18 n100_a_lob_a02_19->n100_a_lob_a02_20 n100_a_lob_a02_21->n100_a_lob_a02_22 n100_a_lob_a02_23->n100_a_lob_a02_24 
( (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))