Context                Previous, Next                Top


19_a_queen_broadcast
We will succeed - and that success will belong to every one of us.

%3 r_0019_0002__will will r_0019_0003__succeed succeed r_0019_0002__will->r_0019_0003__succeed [scope] r_0019_0001__We We r_0019_0003__succeed->r_0019_0001__We [arg0] r_0019_0005__and and r_0019_0005__and->r_0019_0002__will [conj1] r_0019_0008__will will r_0019_0005__and->r_0019_0008__will [conj2] r_0019_0011__every_quant every [quant] r_0019_0008__will->r_0019_0011__every_quant [scope] r_0019_0009__belong belong r_0019_0011__every_quant->r_0019_0009__belong [scope] r_0019_0012__one one r_0019_0011__every_quant->r_0019_0012__one [restriction] r_0019_0006__that_r_0019_0007__success that success r_0019_0009__belong->r_0019_0006__that_r_0019_0007__success [arg0] r_0019_0009__belong->r_0019_0012__one to [clr] r_0019_0012__one->r_0019_0001__We of 
arc(r_0019_0002__will, r_0019_0003__succeed, scope).
arc(r_0019_0003__succeed, r_0019_0001__We, arg0).
arc(r_0019_0005__and, r_0019_0002__will, conj1).
arc(r_0019_0005__and, r_0019_0008__will, conj2).
arc(r_0019_0008__will, r_0019_0011__every_quant, scope).
arc(r_0019_0009__belong, r_0019_0006__that_r_0019_0007__success, arg0).
arc(r_0019_0009__belong, r_0019_0012__one, r_0019_0010__to_clr31).
arc(r_0019_0011__every_quant, r_0019_0009__belong, scope).
arc(r_0019_0011__every_quant, r_0019_0012__one, restriction).
arc(r_0019_0012__one, r_0019_0001__We, r_0019_0013__of).


%3 r_0019_0002__will_r_0019_0003__succeed will succeed r_0019_0001__We We r_0019_0002__will_r_0019_0003__succeed->r_0019_0001__We [arg0] r_0019_0005__and and r_0019_0005__and->r_0019_0002__will_r_0019_0003__succeed [conj1] r_0019_0008__will will r_0019_0005__and->r_0019_0008__will [conj2] r_0019_0011__every_quant every [quant] r_0019_0008__will->r_0019_0011__every_quant [keep_scope] r_0019_0009__belong belong r_0019_0011__every_quant->r_0019_0009__belong [scope] r_0019_0012__one one r_0019_0011__every_quant->r_0019_0012__one [restriction] r_0019_0006__that_r_0019_0007__success that success r_0019_0009__belong->r_0019_0006__that_r_0019_0007__success [arg0] r_0019_0009__belong->r_0019_0012__one to [clr] r_0019_0012__one->r_0019_0001__We of 
fof(formula,axiom,
    ? [R_19_5_AND,R_19_2_WILL_SUCCEED,R_19_1_WE] :
      ( we(R_19_1_WE)
      & and(R_19_5_AND)
      & conj1(R_19_5_AND,R_19_2_WILL_SUCCEED)
      & will_succeed(R_19_2_WILL_SUCCEED,R_19_1_WE)
      & conj2(R_19_5_AND,R_19_8_WILL)
      & ~ ! [R_19_12_ONE] :
            ( ( one(R_19_12_ONE)
              & of(R_19_12_ONE,R_19_1_WE) )
           => ? [R_19_9_BELONG,R_19_6_THAT_SUCCESS] :
                ( that_success(R_19_6_THAT_SUCCESS)
                & belong(R_19_9_BELONG,R_19_6_THAT_SUCCESS)
                & to_clr31(R_19_9_BELONG,R_19_12_ONE) ) ) ) ).


n19_a_queen_broadcast n19_a_queen_broadcast_6 We n19_a_queen_broadcast_8 will n19_a_queen_broadcast_11 succeed n19_a_queen_broadcast_13 - n19_a_queen_broadcast_16 and n19_a_queen_broadcast_20 that n19_a_queen_broadcast_22 success n19_a_queen_broadcast_24 will n19_a_queen_broadcast_27 belong n19_a_queen_broadcast_30 to n19_a_queen_broadcast_33 every n19_a_queen_broadcast_35 one n19_a_queen_broadcast_38 of n19_a_queen_broadcast_41 us n19_a_queen_broadcast_43 . n19_a_queen_broadcast_1 IP-MAT n19_a_queen_broadcast_2 ILYR n19_a_queen_broadcast_1->n19_a_queen_broadcast_2 n19_a_queen_broadcast_42 PUNC n19_a_queen_broadcast_1->n19_a_queen_broadcast_42 n19_a_queen_broadcast_3 ILYR n19_a_queen_broadcast_2->n19_a_queen_broadcast_3 n19_a_queen_broadcast_12 PUNC n19_a_queen_broadcast_2->n19_a_queen_broadcast_12 n19_a_queen_broadcast_14 CONJP n19_a_queen_broadcast_2->n19_a_queen_broadcast_14 n19_a_queen_broadcast_4 NP-SBJ n19_a_queen_broadcast_3->n19_a_queen_broadcast_4 n19_a_queen_broadcast_7 MD;_cat_Vi_ n19_a_queen_broadcast_3->n19_a_queen_broadcast_7 n19_a_queen_broadcast_9 IP-INF-CAT n19_a_queen_broadcast_3->n19_a_queen_broadcast_9 n19_a_queen_broadcast_5 PRO n19_a_queen_broadcast_4->n19_a_queen_broadcast_5 n19_a_queen_broadcast_5->n19_a_queen_broadcast_6 n19_a_queen_broadcast_7->n19_a_queen_broadcast_8 n19_a_queen_broadcast_10 VB;_I_ n19_a_queen_broadcast_9->n19_a_queen_broadcast_10 n19_a_queen_broadcast_10->n19_a_queen_broadcast_11 n19_a_queen_broadcast_12->n19_a_queen_broadcast_13 n19_a_queen_broadcast_15 CONJ n19_a_queen_broadcast_14->n19_a_queen_broadcast_15 n19_a_queen_broadcast_17 ILYR n19_a_queen_broadcast_14->n19_a_queen_broadcast_17 n19_a_queen_broadcast_15->n19_a_queen_broadcast_16 n19_a_queen_broadcast_18 NP-SBJ n19_a_queen_broadcast_17->n19_a_queen_broadcast_18 n19_a_queen_broadcast_23 MD;_cat_Vi_ n19_a_queen_broadcast_17->n19_a_queen_broadcast_23 n19_a_queen_broadcast_25 IP-INF-CAT n19_a_queen_broadcast_17->n19_a_queen_broadcast_25 n19_a_queen_broadcast_19 D n19_a_queen_broadcast_18->n19_a_queen_broadcast_19 n19_a_queen_broadcast_21 N n19_a_queen_broadcast_18->n19_a_queen_broadcast_21 n19_a_queen_broadcast_19->n19_a_queen_broadcast_20 n19_a_queen_broadcast_21->n19_a_queen_broadcast_22 n19_a_queen_broadcast_23->n19_a_queen_broadcast_24 n19_a_queen_broadcast_26 VB;_Ipr_ n19_a_queen_broadcast_25->n19_a_queen_broadcast_26 n19_a_queen_broadcast_28 PP-CLR n19_a_queen_broadcast_25->n19_a_queen_broadcast_28 n19_a_queen_broadcast_26->n19_a_queen_broadcast_27 n19_a_queen_broadcast_29 P-ROLE n19_a_queen_broadcast_28->n19_a_queen_broadcast_29 n19_a_queen_broadcast_31 NP n19_a_queen_broadcast_28->n19_a_queen_broadcast_31 n19_a_queen_broadcast_29->n19_a_queen_broadcast_30 n19_a_queen_broadcast_32 Q n19_a_queen_broadcast_31->n19_a_queen_broadcast_32 n19_a_queen_broadcast_34 N n19_a_queen_broadcast_31->n19_a_queen_broadcast_34 n19_a_queen_broadcast_36 PP n19_a_queen_broadcast_31->n19_a_queen_broadcast_36 n19_a_queen_broadcast_32->n19_a_queen_broadcast_33 n19_a_queen_broadcast_34->n19_a_queen_broadcast_35 n19_a_queen_broadcast_37 P-ROLE n19_a_queen_broadcast_36->n19_a_queen_broadcast_37 n19_a_queen_broadcast_39 NP n19_a_queen_broadcast_36->n19_a_queen_broadcast_39 n19_a_queen_broadcast_37->n19_a_queen_broadcast_38 n19_a_queen_broadcast_40 PRO n19_a_queen_broadcast_39->n19_a_queen_broadcast_40 n19_a_queen_broadcast_40->n19_a_queen_broadcast_41 n19_a_queen_broadcast_42->n19_a_queen_broadcast_43 
( (IP-MAT (ILYR (ILYR;{COME_THROUGH} (NP-SBJ (PRO We;{we}))
                                     (MD;_cat_Vi_ will;{will})
                                     (IP-INF-CAT (VB;_I_ succeed;{succeed})))
                (PUNC <hyphen>)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{COME_THROUGH} (D that;{that})
                                                    (N success;{success}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_Ipr_ belong;{belong[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (Q every;{every})
                                                     (N one;{one})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (PRO us;{we})))))))))
          (PUNC .))
  (ID 19_a_queen_broadcast))