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_0008__will will r_0019_0011__every_quant every [quant] r_0019_0008__will->r_0019_0011__every_quant [keep_scope] r_0019_0012__one one r_0019_0011__every_quant->r_0019_0012__one [restriction] r_0019_0009__belong belong r_0019_0011__every_quant->r_0019_0009__belong [scope] r_0019_0001__We We r_0019_0012__one->r_0019_0001__We of r_0019_0009__belong->r_0019_0012__one to [clr] 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_0005__and and r_0019_0005__and->r_0019_0008__will [conj2] r_0019_0002__will_r_0019_0003__succeed will succeed r_0019_0005__and->r_0019_0002__will_r_0019_0003__succeed [conj1] r_0019_0002__will_r_0019_0003__succeed->r_0019_0001__We [arg0] 
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__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))