Context                Previous, Next                Top


7_a_queen_broadcast
I hope in the years to come everyone will be able to take pride in how they responded to this challenge.

%3 r_0007_0002__hope hope r_0007_0001__I I r_0007_0002__hope->r_0007_0001__I [arg0] r_0007_0004__the_r_0007_0005__years the years r_0007_0002__hope->r_0007_0004__the_r_0007_0005__years in [nim] r_0007_0008__everyone_quant everyone [quant] r_0007_0002__hope->r_0007_0008__everyone_quant [arg1] r_0007_0009__will will r_0007_0008__everyone_quant->r_0007_0009__will [scope] z_000_7_a_queen_broadcast_24 r_0007_0008__everyone_quant->z_000_7_a_queen_broadcast_24 [restriction] r_0007_0006__to_r_0007_0007__come to come r_0007_0006__to_r_0007_0007__come->r_0007_0004__the_r_0007_0005__years [arg0] r_0007_0010__be be r_0007_0009__will->r_0007_0010__be [scope] r_0007_0010__be->z_000_7_a_queen_broadcast_24 [arg0] r_0007_0011__able able r_0007_0010__be->r_0007_0011__able [prd] r_0007_0012__to_r_0007_0013__take to take r_0007_0011__able->r_0007_0012__to_r_0007_0013__take [emb] r_0007_0014__pride pride r_0007_0012__to_r_0007_0013__take->r_0007_0014__pride [arg1] z_000_7_a_queen_broadcast_35 r_0007_0012__to_r_0007_0013__take->z_000_7_a_queen_broadcast_35 [arg0] z_000_7_a_queen_broadcast_46 r_0007_0012__to_r_0007_0013__take->z_000_7_a_queen_broadcast_46 in [clr] r_0007_0018__responded responded r_0007_0018__responded->z_000_7_a_queen_broadcast_46 [nim] r_0007_0017__they they r_0007_0018__responded->r_0007_0017__they [arg0] r_0007_0020__this_r_0007_0021__challenge this challenge r_0007_0018__responded->r_0007_0020__this_r_0007_0021__challenge to [clr] 
arc(r_0007_0002__hope, r_0007_0001__I, arg0).
arc(r_0007_0002__hope, r_0007_0004__the_r_0007_0005__years, r_0007_0003__in_nim10).
arc(r_0007_0002__hope, r_0007_0008__everyone_quant, arg1).
arc(r_0007_0006__to_r_0007_0007__come, r_0007_0004__the_r_0007_0005__years, arg0).
arc(r_0007_0008__everyone_quant, r_0007_0009__will, scope).
arc(r_0007_0008__everyone_quant, z_000_7_a_queen_broadcast_24, restriction).
arc(r_0007_0009__will, r_0007_0010__be, scope).
arc(r_0007_0010__be, r_0007_0011__able, prd).
arc(r_0007_0010__be, z_000_7_a_queen_broadcast_24, arg0).
arc(r_0007_0011__able, r_0007_0012__to_r_0007_0013__take, emb35).
arc(r_0007_0012__to_r_0007_0013__take, r_0007_0014__pride, arg1).
arc(r_0007_0012__to_r_0007_0013__take, z_000_7_a_queen_broadcast_35, arg0).
arc(r_0007_0012__to_r_0007_0013__take, z_000_7_a_queen_broadcast_46, r_0007_0015__in_clr46).
arc(r_0007_0018__responded, r_0007_0017__they, arg0).
arc(r_0007_0018__responded, r_0007_0020__this_r_0007_0021__challenge, r_0007_0019__to_clr59).
arc(r_0007_0018__responded, z_000_7_a_queen_broadcast_46, nim48).


%3 r_0007_0018__responded responded z_000_7_a_queen_broadcast_46 r_0007_0018__responded->z_000_7_a_queen_broadcast_46 [nim] r_0007_0020__this_r_0007_0021__challenge this challenge r_0007_0018__responded->r_0007_0020__this_r_0007_0021__challenge to [clr] r_0007_0017__they they r_0007_0018__responded->r_0007_0017__they [arg0] r_0007_0012__to_r_0007_0013__take to take r_0007_0012__to_r_0007_0013__take->z_000_7_a_queen_broadcast_46 in [clr] z_000_7_a_queen_broadcast_35 r_0007_0012__to_r_0007_0013__take->z_000_7_a_queen_broadcast_35 [arg0] r_0007_0014__pride pride r_0007_0012__to_r_0007_0013__take->r_0007_0014__pride [arg1] r_0007_0011__able able r_0007_0011__able->r_0007_0012__to_r_0007_0013__take [emb] r_0007_0009__will_r_0007_0010__be will be r_0007_0009__will_r_0007_0010__be->r_0007_0011__able [prd] z_000_7_a_queen_broadcast_24 r_0007_0009__will_r_0007_0010__be->z_000_7_a_queen_broadcast_24 [arg0] r_0007_0008__everyone_quant everyone [quant] r_0007_0008__everyone_quant->r_0007_0009__will_r_0007_0010__be [scope] r_0007_0008__everyone_quant->z_000_7_a_queen_broadcast_24 [restriction] r_0007_0006__to_r_0007_0007__come to come r_0007_0004__the_r_0007_0005__years the years r_0007_0006__to_r_0007_0007__come->r_0007_0004__the_r_0007_0005__years [arg0] r_0007_0002__hope hope r_0007_0002__hope->r_0007_0008__everyone_quant [arg1] r_0007_0002__hope->r_0007_0004__the_r_0007_0005__years in [nim] r_0007_0001__I I r_0007_0002__hope->r_0007_0001__I [arg0] 
fof(formula,axiom,
    ? [R_7_2_HOPE,R_7_1_I,R_7_6_TO_COME,R_7_4_THE_YEARS,R_7_18_RESPONDED,R_7_17_THEY,Z_7_A_QUEEN_BROADCAST_46,R_7_20_THIS_CHALLENGE] :
      ( i(R_7_1_I)
      & the_years(R_7_4_THE_YEARS)
      & they(R_7_17_THEY)
      & this_challenge(R_7_20_THIS_CHALLENGE)
      & ! [Z_7_A_QUEEN_BROADCAST_24] :
          ( true
         => ? [R_7_9_WILL_BE,R_7_11_ABLE,R_7_12_TO_TAKE,Z_7_A_QUEEN_BROADCAST_35,R_7_14_PRIDE] :
              ( pride(R_7_14_PRIDE)
              & will_be(R_7_9_WILL_BE,Z_7_A_QUEEN_BROADCAST_24,R_7_11_ABLE)
              & able(R_7_11_ABLE)
              & emb35(R_7_11_ABLE,R_7_12_TO_TAKE)
              & to_take(R_7_12_TO_TAKE,Z_7_A_QUEEN_BROADCAST_35,R_7_14_PRIDE)
              & in_clr46(R_7_12_TO_TAKE,Z_7_A_QUEEN_BROADCAST_46) ) )
      & arg1(ARG1)
      & hope(R_7_2_HOPE,R_7_1_I)
      & in_nim10(R_7_2_HOPE,R_7_4_THE_YEARS)
      & to_come(R_7_6_TO_COME,R_7_4_THE_YEARS)
      & responded(R_7_18_RESPONDED,R_7_17_THEY)
      & nim48(R_7_18_RESPONDED,Z_7_A_QUEEN_BROADCAST_46)
      & to_clr59(R_7_18_RESPONDED,R_7_20_THIS_CHALLENGE) ) ).


n7_a_queen_broadcast n7_a_queen_broadcast__1_1_1_1 I n7_a_queen_broadcast__1_2_1 hope n7_a_queen_broadcast__1_3_1_1 in n7_a_queen_broadcast__1_3_2_1_1 the n7_a_queen_broadcast__1_3_2_2_1 years n7_a_queen_broadcast__1_3_2_3_1_1 *T* n7_a_queen_broadcast__1_3_2_3_2_1 to n7_a_queen_broadcast__1_3_2_3_3_1 come n7_a_queen_broadcast__1_4_1_1_1_1 everyone n7_a_queen_broadcast__1_4_1_2_1 will n7_a_queen_broadcast__1_4_1_3_1_1 be n7_a_queen_broadcast__1_4_1_3_2_1_1 able n7_a_queen_broadcast__1_4_1_3_2_2_1_1 to n7_a_queen_broadcast__1_4_1_3_2_2_2_1 take n7_a_queen_broadcast__1_4_1_3_2_2_3_1_1 pride n7_a_queen_broadcast__1_4_1_3_2_2_4_1_1 in n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1_1_1 how n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2_1_1 they n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_3_1 responded n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_1_1 to n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_1_1 this n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_2_1 challenge n7_a_queen_broadcast__1_5_1 . n7_a_queen_broadcast__1 IP-MAT n7_a_queen_broadcast__1_1 NP-SBJ n7_a_queen_broadcast__1->n7_a_queen_broadcast__1_1 n7_a_queen_broadcast__1_2 VBP;_Tf_ n7_a_queen_broadcast__1->n7_a_queen_broadcast__1_2 n7_a_queen_broadcast__1_3 PP-NIM n7_a_queen_broadcast__1->n7_a_queen_broadcast__1_3 n7_a_queen_broadcast__1_4 CP-THT-OB1 n7_a_queen_broadcast__1->n7_a_queen_broadcast__1_4 n7_a_queen_broadcast__1_5 PUNC n7_a_queen_broadcast__1->n7_a_queen_broadcast__1_5 n7_a_queen_broadcast__1_1_1 PRO n7_a_queen_broadcast__1_1->n7_a_queen_broadcast__1_1_1 n7_a_queen_broadcast__1_1_1->n7_a_queen_broadcast__1_1_1_1 n7_a_queen_broadcast__1_2->n7_a_queen_broadcast__1_2_1 n7_a_queen_broadcast__1_3_1 P-ROLE n7_a_queen_broadcast__1_3->n7_a_queen_broadcast__1_3_1 n7_a_queen_broadcast__1_3_2 NP n7_a_queen_broadcast__1_3->n7_a_queen_broadcast__1_3_2 n7_a_queen_broadcast__1_3_1->n7_a_queen_broadcast__1_3_1_1 n7_a_queen_broadcast__1_3_2_1 D n7_a_queen_broadcast__1_3_2->n7_a_queen_broadcast__1_3_2_1 n7_a_queen_broadcast__1_3_2_2 NS n7_a_queen_broadcast__1_3_2->n7_a_queen_broadcast__1_3_2_2 n7_a_queen_broadcast__1_3_2_3 IP-INF-REL n7_a_queen_broadcast__1_3_2->n7_a_queen_broadcast__1_3_2_3 n7_a_queen_broadcast__1_3_2_1->n7_a_queen_broadcast__1_3_2_1_1 n7_a_queen_broadcast__1_3_2_2->n7_a_queen_broadcast__1_3_2_2_1 n7_a_queen_broadcast__1_3_2_3_1 NP-SBJ n7_a_queen_broadcast__1_3_2_3->n7_a_queen_broadcast__1_3_2_3_1 n7_a_queen_broadcast__1_3_2_3_2 TO n7_a_queen_broadcast__1_3_2_3->n7_a_queen_broadcast__1_3_2_3_2 n7_a_queen_broadcast__1_3_2_3_3 VB;_I_ n7_a_queen_broadcast__1_3_2_3->n7_a_queen_broadcast__1_3_2_3_3 n7_a_queen_broadcast__1_3_2_3_1->n7_a_queen_broadcast__1_3_2_3_1_1 n7_a_queen_broadcast__1_3_2_3_2->n7_a_queen_broadcast__1_3_2_3_2_1 n7_a_queen_broadcast__1_3_2_3_3->n7_a_queen_broadcast__1_3_2_3_3_1 n7_a_queen_broadcast__1_4_1 IP-SUB n7_a_queen_broadcast__1_4->n7_a_queen_broadcast__1_4_1 n7_a_queen_broadcast__1_4_1_1 NP-SBJ n7_a_queen_broadcast__1_4_1->n7_a_queen_broadcast__1_4_1_1 n7_a_queen_broadcast__1_4_1_2 MD;_cat_Vi_ n7_a_queen_broadcast__1_4_1->n7_a_queen_broadcast__1_4_1_2 n7_a_queen_broadcast__1_4_1_3 IP-INF-CAT n7_a_queen_broadcast__1_4_1->n7_a_queen_broadcast__1_4_1_3 n7_a_queen_broadcast__1_4_1_1_1 Q;_nphd_ n7_a_queen_broadcast__1_4_1_1->n7_a_queen_broadcast__1_4_1_1_1 n7_a_queen_broadcast__1_4_1_1_1->n7_a_queen_broadcast__1_4_1_1_1_1 n7_a_queen_broadcast__1_4_1_2->n7_a_queen_broadcast__1_4_1_2_1 n7_a_queen_broadcast__1_4_1_3_1 BE;_La_ n7_a_queen_broadcast__1_4_1_3->n7_a_queen_broadcast__1_4_1_3_1 n7_a_queen_broadcast__1_4_1_3_2 ADJP-PRD n7_a_queen_broadcast__1_4_1_3->n7_a_queen_broadcast__1_4_1_3_2 n7_a_queen_broadcast__1_4_1_3_1->n7_a_queen_broadcast__1_4_1_3_1_1 n7_a_queen_broadcast__1_4_1_3_2_1 ADJ;_cat_ n7_a_queen_broadcast__1_4_1_3_2->n7_a_queen_broadcast__1_4_1_3_2_1 n7_a_queen_broadcast__1_4_1_3_2_2 IP-INF n7_a_queen_broadcast__1_4_1_3_2->n7_a_queen_broadcast__1_4_1_3_2_2 n7_a_queen_broadcast__1_4_1_3_2_1->n7_a_queen_broadcast__1_4_1_3_2_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_1 TO n7_a_queen_broadcast__1_4_1_3_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_1 n7_a_queen_broadcast__1_4_1_3_2_2_2 VB;_Tn.pr_ n7_a_queen_broadcast__1_4_1_3_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_2 n7_a_queen_broadcast__1_4_1_3_2_2_3 NP-OB1 n7_a_queen_broadcast__1_4_1_3_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_3 n7_a_queen_broadcast__1_4_1_3_2_2_4 PP-CLR n7_a_queen_broadcast__1_4_1_3_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_4 n7_a_queen_broadcast__1_4_1_3_2_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_2_1 n7_a_queen_broadcast__1_4_1_3_2_2_3_1 N n7_a_queen_broadcast__1_4_1_3_2_2_3->n7_a_queen_broadcast__1_4_1_3_2_2_3_1 n7_a_queen_broadcast__1_4_1_3_2_2_3_1->n7_a_queen_broadcast__1_4_1_3_2_2_3_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_1 P-ROLE n7_a_queen_broadcast__1_4_1_3_2_2_4->n7_a_queen_broadcast__1_4_1_3_2_2_4_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2 NP n7_a_queen_broadcast__1_4_1_3_2_2_4->n7_a_queen_broadcast__1_4_1_3_2_2_4_2 n7_a_queen_broadcast__1_4_1_3_2_2_4_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1 IP-REL n7_a_queen_broadcast__1_4_1_3_2_2_4_2->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1 ADVP-NIM n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2 NP-SBJ n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_3 VBD;_Ipr_ n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_3 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4 PP-CLR n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1_1 RADV n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_1_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2_1 PRO n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_2_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_3->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_3_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_1 P-ROLE n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2 NP n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_1 D n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_2 N n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_2 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_1->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_1_1 n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_2->n7_a_queen_broadcast__1_4_1_3_2_2_4_2_1_4_2_2_1 n7_a_queen_broadcast__1_5->n7_a_queen_broadcast__1_5_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ hope;{hope})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NS years;{year})
                      (IP-INF-REL (NP-SBJ *T*)
                                  (TO to;{to})
                                  (VB;_I_ come;{come}))))
          (CP-THT-OB1 (IP-SUB;{PEOPLE} (NP-SBJ (Q;_nphd_ everyone;{everyone}))
                                       (MD;_cat_Vi_ will;{will})
                                       (IP-INF-CAT (BE;_La_ be;{be})
                                                   (ADJP-PRD (ADJ;_cat_ able;{able})
                                                             (IP-INF (TO to;{to})
                                                                     (VB;_Tn.pr_ take;{take[in]})
                                                                     (NP-OB1 (N pride;{pride}))
                                                                     (PP-CLR (P-ROLE in;{in})
                                                                             (NP (IP-REL (ADVP-NIM (RADV how;{how}))
                                                                                         (NP-SBJ;{PEOPLE} (PRO they;{they}))
                                                                                         (VBD;_Ipr_ responded;{respond[to]})
                                                                                         (PP-CLR (P-ROLE to;{to})
                                                                                                 (NP (D this;{this})
                                                                                                     (N challenge;{challenge})))))))))))
          (PUNC .))
  (ID 7_a_queen_broadcast))