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_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_r_0007_0010__be will be r_0007_0008__everyone_quant->r_0007_0009__will_r_0007_0010__be [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_0009__will_r_0007_0010__be->z_000_7_a_queen_broadcast_24 [arg0] r_0007_0011__able able r_0007_0009__will_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] 
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_4 I n7_a_queen_broadcast_6 hope n7_a_queen_broadcast_9 in n7_a_queen_broadcast_12 the n7_a_queen_broadcast_14 years n7_a_queen_broadcast_17 *T* n7_a_queen_broadcast_19 to n7_a_queen_broadcast_21 come n7_a_queen_broadcast_26 everyone n7_a_queen_broadcast_28 will n7_a_queen_broadcast_31 be n7_a_queen_broadcast_34 able n7_a_queen_broadcast_37 to n7_a_queen_broadcast_39 take n7_a_queen_broadcast_42 pride n7_a_queen_broadcast_45 in n7_a_queen_broadcast_50 how n7_a_queen_broadcast_53 they n7_a_queen_broadcast_55 responded n7_a_queen_broadcast_58 to n7_a_queen_broadcast_61 this n7_a_queen_broadcast_63 challenge n7_a_queen_broadcast_65 . n7_a_queen_broadcast_1 IP-MAT n7_a_queen_broadcast_2 NP-SBJ n7_a_queen_broadcast_1->n7_a_queen_broadcast_2 n7_a_queen_broadcast_5 VBP;_Tf_ n7_a_queen_broadcast_1->n7_a_queen_broadcast_5 n7_a_queen_broadcast_7 PP-NIM n7_a_queen_broadcast_1->n7_a_queen_broadcast_7 n7_a_queen_broadcast_22 CP-THT-OB1 n7_a_queen_broadcast_1->n7_a_queen_broadcast_22 n7_a_queen_broadcast_64 PUNC n7_a_queen_broadcast_1->n7_a_queen_broadcast_64 n7_a_queen_broadcast_3 PRO n7_a_queen_broadcast_2->n7_a_queen_broadcast_3 n7_a_queen_broadcast_3->n7_a_queen_broadcast_4 n7_a_queen_broadcast_5->n7_a_queen_broadcast_6 n7_a_queen_broadcast_8 P-ROLE n7_a_queen_broadcast_7->n7_a_queen_broadcast_8 n7_a_queen_broadcast_10 NP n7_a_queen_broadcast_7->n7_a_queen_broadcast_10 n7_a_queen_broadcast_8->n7_a_queen_broadcast_9 n7_a_queen_broadcast_11 D n7_a_queen_broadcast_10->n7_a_queen_broadcast_11 n7_a_queen_broadcast_13 NS n7_a_queen_broadcast_10->n7_a_queen_broadcast_13 n7_a_queen_broadcast_15 IP-INF-REL n7_a_queen_broadcast_10->n7_a_queen_broadcast_15 n7_a_queen_broadcast_11->n7_a_queen_broadcast_12 n7_a_queen_broadcast_13->n7_a_queen_broadcast_14 n7_a_queen_broadcast_16 NP-SBJ n7_a_queen_broadcast_15->n7_a_queen_broadcast_16 n7_a_queen_broadcast_18 TO n7_a_queen_broadcast_15->n7_a_queen_broadcast_18 n7_a_queen_broadcast_20 VB;_I_ n7_a_queen_broadcast_15->n7_a_queen_broadcast_20 n7_a_queen_broadcast_16->n7_a_queen_broadcast_17 n7_a_queen_broadcast_18->n7_a_queen_broadcast_19 n7_a_queen_broadcast_20->n7_a_queen_broadcast_21 n7_a_queen_broadcast_23 IP-SUB n7_a_queen_broadcast_22->n7_a_queen_broadcast_23 n7_a_queen_broadcast_24 NP-SBJ n7_a_queen_broadcast_23->n7_a_queen_broadcast_24 n7_a_queen_broadcast_27 MD;_cat_Vi_ n7_a_queen_broadcast_23->n7_a_queen_broadcast_27 n7_a_queen_broadcast_29 IP-INF-CAT n7_a_queen_broadcast_23->n7_a_queen_broadcast_29 n7_a_queen_broadcast_25 Q;_nphd_ n7_a_queen_broadcast_24->n7_a_queen_broadcast_25 n7_a_queen_broadcast_25->n7_a_queen_broadcast_26 n7_a_queen_broadcast_27->n7_a_queen_broadcast_28 n7_a_queen_broadcast_30 BE;_La_ n7_a_queen_broadcast_29->n7_a_queen_broadcast_30 n7_a_queen_broadcast_32 ADJP-PRD n7_a_queen_broadcast_29->n7_a_queen_broadcast_32 n7_a_queen_broadcast_30->n7_a_queen_broadcast_31 n7_a_queen_broadcast_33 ADJ;_cat_ n7_a_queen_broadcast_32->n7_a_queen_broadcast_33 n7_a_queen_broadcast_35 IP-INF n7_a_queen_broadcast_32->n7_a_queen_broadcast_35 n7_a_queen_broadcast_33->n7_a_queen_broadcast_34 n7_a_queen_broadcast_36 TO n7_a_queen_broadcast_35->n7_a_queen_broadcast_36 n7_a_queen_broadcast_38 VB;_Tn.pr_ n7_a_queen_broadcast_35->n7_a_queen_broadcast_38 n7_a_queen_broadcast_40 NP-OB1 n7_a_queen_broadcast_35->n7_a_queen_broadcast_40 n7_a_queen_broadcast_43 PP-CLR n7_a_queen_broadcast_35->n7_a_queen_broadcast_43 n7_a_queen_broadcast_36->n7_a_queen_broadcast_37 n7_a_queen_broadcast_38->n7_a_queen_broadcast_39 n7_a_queen_broadcast_41 N n7_a_queen_broadcast_40->n7_a_queen_broadcast_41 n7_a_queen_broadcast_41->n7_a_queen_broadcast_42 n7_a_queen_broadcast_44 P-ROLE n7_a_queen_broadcast_43->n7_a_queen_broadcast_44 n7_a_queen_broadcast_46 NP n7_a_queen_broadcast_43->n7_a_queen_broadcast_46 n7_a_queen_broadcast_44->n7_a_queen_broadcast_45 n7_a_queen_broadcast_47 IP-REL n7_a_queen_broadcast_46->n7_a_queen_broadcast_47 n7_a_queen_broadcast_48 ADVP-NIM n7_a_queen_broadcast_47->n7_a_queen_broadcast_48 n7_a_queen_broadcast_51 NP-SBJ n7_a_queen_broadcast_47->n7_a_queen_broadcast_51 n7_a_queen_broadcast_54 VBD;_Ipr_ n7_a_queen_broadcast_47->n7_a_queen_broadcast_54 n7_a_queen_broadcast_56 PP-CLR n7_a_queen_broadcast_47->n7_a_queen_broadcast_56 n7_a_queen_broadcast_49 RADV n7_a_queen_broadcast_48->n7_a_queen_broadcast_49 n7_a_queen_broadcast_49->n7_a_queen_broadcast_50 n7_a_queen_broadcast_52 PRO n7_a_queen_broadcast_51->n7_a_queen_broadcast_52 n7_a_queen_broadcast_52->n7_a_queen_broadcast_53 n7_a_queen_broadcast_54->n7_a_queen_broadcast_55 n7_a_queen_broadcast_57 P-ROLE n7_a_queen_broadcast_56->n7_a_queen_broadcast_57 n7_a_queen_broadcast_59 NP n7_a_queen_broadcast_56->n7_a_queen_broadcast_59 n7_a_queen_broadcast_57->n7_a_queen_broadcast_58 n7_a_queen_broadcast_60 D n7_a_queen_broadcast_59->n7_a_queen_broadcast_60 n7_a_queen_broadcast_62 N n7_a_queen_broadcast_59->n7_a_queen_broadcast_62 n7_a_queen_broadcast_60->n7_a_queen_broadcast_61 n7_a_queen_broadcast_62->n7_a_queen_broadcast_63 n7_a_queen_broadcast_64->n7_a_queen_broadcast_65 
( (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))