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.
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_0009__will, 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).
fof(formula,axiom,
? [R_0007_0001__I,R_0007_0004__THE_R_0007_0005__YEARS,R_0007_0002__HOPE,R_0007_0006__TO_R_0007_0007__COME] :
( r_0007_0001__I(R_0007_0001__I)
& r_0007_0004__the_r_0007_0005__years(R_0007_0004__THE_R_0007_0005__YEARS)
& r_0007_0006__to_r_0007_0007__come(R_0007_0006__TO_R_0007_0007__COME)
& has_arg0(R_0007_0006__TO_R_0007_0007__COME,R_0007_0004__THE_R_0007_0005__YEARS)
& r_0007_0002__hope(R_0007_0002__HOPE)
& ! [Z_000_7_A_QUEEN_BROADCAST_24] :
( z_000_7_a_queen_broadcast_24(Z_000_7_A_QUEEN_BROADCAST_24)
=> ? [R_0007_0014__PRIDE,Z_000_7_A_QUEEN_BROADCAST_35,Z_000_7_A_QUEEN_BROADCAST_46,R_0007_0012__TO_R_0007_0013__TAKE,R_0007_0011__ABLE,R_0007_0009__WILL_R_0007_0010__BE,R_0007_0020__THIS_R_0007_0021__CHALLENGE,R_0007_0018__RESPONDED] :
( r_0007_0014__pride(R_0007_0014__PRIDE)
& r_0007_0020__this_r_0007_0021__challenge(R_0007_0020__THIS_R_0007_0021__CHALLENGE)
& z_000_7_a_queen_broadcast_35(Z_000_7_A_QUEEN_BROADCAST_35)
& z_000_7_a_queen_broadcast_46(Z_000_7_A_QUEEN_BROADCAST_46)
& r_0007_0018__responded(R_0007_0018__RESPONDED)
& has_nim48(R_0007_0018__RESPONDED,Z_000_7_A_QUEEN_BROADCAST_46)
& has_r_0007_0019__to_clr59(R_0007_0018__RESPONDED,R_0007_0020__THIS_R_0007_0021__CHALLENGE)
& has_arg0(R_0007_0018__RESPONDED,R_0007_0009__WILL_R_0007_0010__BE)
& r_0007_0009__will_r_0007_0010__be(R_0007_0009__WILL_R_0007_0010__BE)
& has_arg0(R_0007_0009__WILL_R_0007_0010__BE,Z_000_7_A_QUEEN_BROADCAST_24)
& has_prd(R_0007_0009__WILL_R_0007_0010__BE,R_0007_0011__ABLE)
& r_0007_0011__able(R_0007_0011__ABLE)
& has_emb35(R_0007_0011__ABLE,R_0007_0012__TO_R_0007_0013__TAKE)
& r_0007_0012__to_r_0007_0013__take(R_0007_0012__TO_R_0007_0013__TAKE)
& has_r_0007_0015__in_clr46(R_0007_0012__TO_R_0007_0013__TAKE,Z_000_7_A_QUEEN_BROADCAST_46)
& has_arg0(R_0007_0012__TO_R_0007_0013__TAKE,Z_000_7_A_QUEEN_BROADCAST_35)
& has_arg1(R_0007_0012__TO_R_0007_0013__TAKE,R_0007_0014__PRIDE) ) )
& has_r_0007_0003__in_nim10(R_0007_0002__HOPE,R_0007_0004__THE_R_0007_0005__YEARS)
& has_arg0(R_0007_0002__HOPE,R_0007_0001__I) ) ).
( (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))