Context                Previous, Next                Top


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

n19_a_queen_broadcast n19_a_queen_broadcast__1_1_1_1_1_1 We n19_a_queen_broadcast__1_1_1_2_1 will n19_a_queen_broadcast__1_1_1_3_1_1 succeed n19_a_queen_broadcast__1_1_2_1 - n19_a_queen_broadcast__1_1_3_1_1 and n19_a_queen_broadcast__1_1_3_2_1_1_1 that n19_a_queen_broadcast__1_1_3_2_1_2_1 success n19_a_queen_broadcast__1_1_3_2_2_1 will n19_a_queen_broadcast__1_1_3_2_3_1_1 belong n19_a_queen_broadcast__1_1_3_2_3_2_1_1 to n19_a_queen_broadcast__1_1_3_2_3_2_2_1_1 every n19_a_queen_broadcast__1_1_3_2_3_2_2_2_1 one n19_a_queen_broadcast__1_1_3_2_3_2_2_3_1_1 of n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2_1_1 us n19_a_queen_broadcast__1_2_1 . n19_a_queen_broadcast__1 IP-MAT n19_a_queen_broadcast__1_1 ILYR n19_a_queen_broadcast__1->n19_a_queen_broadcast__1_1 n19_a_queen_broadcast__1_2 PUNC n19_a_queen_broadcast__1->n19_a_queen_broadcast__1_2 n19_a_queen_broadcast__1_1_1 ILYR n19_a_queen_broadcast__1_1->n19_a_queen_broadcast__1_1_1 n19_a_queen_broadcast__1_1_2 PUNC n19_a_queen_broadcast__1_1->n19_a_queen_broadcast__1_1_2 n19_a_queen_broadcast__1_1_3 CONJP n19_a_queen_broadcast__1_1->n19_a_queen_broadcast__1_1_3 n19_a_queen_broadcast__1_1_1_1 NP-SBJ n19_a_queen_broadcast__1_1_1->n19_a_queen_broadcast__1_1_1_1 n19_a_queen_broadcast__1_1_1_2 MD;_cat_Vi_ n19_a_queen_broadcast__1_1_1->n19_a_queen_broadcast__1_1_1_2 n19_a_queen_broadcast__1_1_1_3 IP-INF-CAT n19_a_queen_broadcast__1_1_1->n19_a_queen_broadcast__1_1_1_3 n19_a_queen_broadcast__1_1_1_1_1 PRO n19_a_queen_broadcast__1_1_1_1->n19_a_queen_broadcast__1_1_1_1_1 n19_a_queen_broadcast__1_1_1_1_1->n19_a_queen_broadcast__1_1_1_1_1_1 n19_a_queen_broadcast__1_1_1_2->n19_a_queen_broadcast__1_1_1_2_1 n19_a_queen_broadcast__1_1_1_3_1 VB;_I_ n19_a_queen_broadcast__1_1_1_3->n19_a_queen_broadcast__1_1_1_3_1 n19_a_queen_broadcast__1_1_1_3_1->n19_a_queen_broadcast__1_1_1_3_1_1 n19_a_queen_broadcast__1_1_2->n19_a_queen_broadcast__1_1_2_1 n19_a_queen_broadcast__1_1_3_1 CONJ n19_a_queen_broadcast__1_1_3->n19_a_queen_broadcast__1_1_3_1 n19_a_queen_broadcast__1_1_3_2 ILYR n19_a_queen_broadcast__1_1_3->n19_a_queen_broadcast__1_1_3_2 n19_a_queen_broadcast__1_1_3_1->n19_a_queen_broadcast__1_1_3_1_1 n19_a_queen_broadcast__1_1_3_2_1 NP-SBJ n19_a_queen_broadcast__1_1_3_2->n19_a_queen_broadcast__1_1_3_2_1 n19_a_queen_broadcast__1_1_3_2_2 MD;_cat_Vi_ n19_a_queen_broadcast__1_1_3_2->n19_a_queen_broadcast__1_1_3_2_2 n19_a_queen_broadcast__1_1_3_2_3 IP-INF-CAT n19_a_queen_broadcast__1_1_3_2->n19_a_queen_broadcast__1_1_3_2_3 n19_a_queen_broadcast__1_1_3_2_1_1 D n19_a_queen_broadcast__1_1_3_2_1->n19_a_queen_broadcast__1_1_3_2_1_1 n19_a_queen_broadcast__1_1_3_2_1_2 N n19_a_queen_broadcast__1_1_3_2_1->n19_a_queen_broadcast__1_1_3_2_1_2 n19_a_queen_broadcast__1_1_3_2_1_1->n19_a_queen_broadcast__1_1_3_2_1_1_1 n19_a_queen_broadcast__1_1_3_2_1_2->n19_a_queen_broadcast__1_1_3_2_1_2_1 n19_a_queen_broadcast__1_1_3_2_2->n19_a_queen_broadcast__1_1_3_2_2_1 n19_a_queen_broadcast__1_1_3_2_3_1 VB;_Ipr_ n19_a_queen_broadcast__1_1_3_2_3->n19_a_queen_broadcast__1_1_3_2_3_1 n19_a_queen_broadcast__1_1_3_2_3_2 PP-CLR n19_a_queen_broadcast__1_1_3_2_3->n19_a_queen_broadcast__1_1_3_2_3_2 n19_a_queen_broadcast__1_1_3_2_3_1->n19_a_queen_broadcast__1_1_3_2_3_1_1 n19_a_queen_broadcast__1_1_3_2_3_2_1 P-ROLE n19_a_queen_broadcast__1_1_3_2_3_2->n19_a_queen_broadcast__1_1_3_2_3_2_1 n19_a_queen_broadcast__1_1_3_2_3_2_2 NP n19_a_queen_broadcast__1_1_3_2_3_2->n19_a_queen_broadcast__1_1_3_2_3_2_2 n19_a_queen_broadcast__1_1_3_2_3_2_1->n19_a_queen_broadcast__1_1_3_2_3_2_1_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_1 Q n19_a_queen_broadcast__1_1_3_2_3_2_2->n19_a_queen_broadcast__1_1_3_2_3_2_2_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_2 N n19_a_queen_broadcast__1_1_3_2_3_2_2->n19_a_queen_broadcast__1_1_3_2_3_2_2_2 n19_a_queen_broadcast__1_1_3_2_3_2_2_3 PP n19_a_queen_broadcast__1_1_3_2_3_2_2->n19_a_queen_broadcast__1_1_3_2_3_2_2_3 n19_a_queen_broadcast__1_1_3_2_3_2_2_1->n19_a_queen_broadcast__1_1_3_2_3_2_2_1_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_2->n19_a_queen_broadcast__1_1_3_2_3_2_2_2_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_3_1 P-ROLE n19_a_queen_broadcast__1_1_3_2_3_2_2_3->n19_a_queen_broadcast__1_1_3_2_3_2_2_3_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2 NP n19_a_queen_broadcast__1_1_3_2_3_2_2_3->n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2 n19_a_queen_broadcast__1_1_3_2_3_2_2_3_1->n19_a_queen_broadcast__1_1_3_2_3_2_2_3_1_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2_1 PRO n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2->n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2_1 n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2_1->n19_a_queen_broadcast__1_1_3_2_3_2_2_3_2_1_1 n19_a_queen_broadcast__1_2->n19_a_queen_broadcast__1_2_1 
( (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))


%3 0019_0002__will will 0019_0003__succeed succeed 0019_0002__will->0019_0003__succeed [scope] 0019_0001__We We 0019_0003__succeed->0019_0001__We [arg0] 0019_0005__and and 0019_0005__and->0019_0002__will [conj1] 0019_0011__every every[quant] 0019_0005__and->0019_0011__every [conj2] 0019_0008__will will 0019_0011__every->0019_0008__will [scope] 0019_0012__one one 0019_0011__every->0019_0012__one [restriction] 0019_0009__belong_10__to belong_to 0019_0008__will->0019_0009__belong_10__to [scope] 0019_0009__belong_10__to->0019_0002__will [arg0] 0019_0009__belong_10__to->0019_0012__one [arg1] 0019_0012__one->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_0011__every__quant,conj2).
arc(r_0019_0008__will,r_0019_0009__belong_r_0019_0010__to,scope).
arc(r_0019_0009__belong_r_0019_0010__to,r_0019_0002__will,arg0).
arc(r_0019_0009__belong_r_0019_0010__to,r_0019_0012__one,arg1).
arc(r_0019_0011__every__quant,r_0019_0008__will,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 0019_0012__one one 0019_0001__We We 0019_0012__one->0019_0001__We of 0019_0011__every every[quant] 0019_0011__every->0019_0012__one [restriction] 0019_0008__will_9__belong_10__to will_belong_to 0019_0011__every->0019_0008__will_9__belong_10__to [scope] 0019_0008__will_9__belong_10__to->0019_0012__one [arg1] 0019_0002__will_3__succeed will_succeed 0019_0008__will_9__belong_10__to->0019_0002__will_3__succeed [arg0] 0019_0002__will_3__succeed->0019_0001__We [arg0] 0019_0005__and and 0019_0005__and->0019_0011__every [conj2] 0019_0005__and->0019_0002__will_3__succeed [conj1] 
fof(formula,axiom,
    ? [R_0019_0001__WE,R_0019_0002__WILL_R_0019_0003__SUCCEED,R_0019_0005__AND] :
      ( r_0019_0001__We(R_0019_0001__WE)
      & r_0019_0005__and(R_0019_0005__AND)
      & ! [R_0019_0012__ONE] :
          ( ( r_0019_0012__one(R_0019_0012__ONE)
            & has_r_0019_0013__of(R_0019_0012__ONE,R_0019_0001__WE) )
         => ? [R_0019_0008__WILL_R_0019_0009__BELONG_R_0019_0010__TO] :
              ( r_0019_0008__will_r_0019_0009__belong_r_0019_0010__to(R_0019_0008__WILL_R_0019_0009__BELONG_R_0019_0010__TO)
              & has_arg1(R_0019_0008__WILL_R_0019_0009__BELONG_R_0019_0010__TO,R_0019_0012__ONE)
              & has_arg0(R_0019_0008__WILL_R_0019_0009__BELONG_R_0019_0010__TO,R_0019_0002__WILL_R_0019_0003__SUCCEED) ) )
      & has_conj1(R_0019_0005__AND,R_0019_0002__WILL_R_0019_0003__SUCCEED)
      & r_0019_0002__will_r_0019_0003__succeed(R_0019_0002__WILL_R_0019_0003__SUCCEED)
      & has_arg0(R_0019_0002__WILL_R_0019_0003__SUCCEED,R_0019_0001__WE) ) ).