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.
( (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))
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__nim).
arc(r_0007_0002__hope,r_0007_0008__everyone__quant,arg1).
arc(r_0007_0007__come,r_0007_0004__the_r_0007_0005__years,inv_arg0).
arc(r_0007_0008__everyone__quant,r_0007_0009__will,scope).
arc(r_0007_0008__everyone__quant,z_0007_5004,restriction).
arc(r_0007_0009__will,r_0007_0010__be,scope).
arc(r_0007_0010__be,r_0007_0011__able,scope).
arc(r_0007_0011__able,r_0007_0013__take_r_0007_0015__in,scope).
arc(r_0007_0013__take_r_0007_0015__in,r_0007_0014__pride,arg1).
arc(r_0007_0013__take_r_0007_0015__in,r_0007_0016__how,arg2).
arc(r_0007_0013__take_r_0007_0015__in,z_0007_5004,arg0).
arc(r_0007_0018__responded_r_0007_0019__to,r_0007_0016__how,nim).
arc(r_0007_0018__responded_r_0007_0019__to,r_0007_0017__they,arg0).
arc(r_0007_0018__responded_r_0007_0019__to,r_0007_0020__this_r_0007_0021__challenge,arg1).
fof(formula,axiom,
? [R_0007_0001__I,R_0007_0007__COME,R_0007_0004__THE_R_0007_0005__YEARS,R_0007_0002__HOPE,R_0007_0016__HOW,R_0007_0017__THEY,R_0007_0020__THIS_R_0007_0021__CHALLENGE,R_0007_0018__RESPONDED_R_0007_0019__TO] :
( r_0007_0001__I(R_0007_0001__I)
& r_0007_0007__come(R_0007_0007__COME)
& r_0007_0016__how(R_0007_0016__HOW)
& r_0007_0017__they(R_0007_0017__THEY)
& r_0007_0020__this_r_0007_0021__challenge(R_0007_0020__THIS_R_0007_0021__CHALLENGE)
& r_0007_0018__responded_r_0007_0019__to(R_0007_0018__RESPONDED_R_0007_0019__TO)
& has_arg1(R_0007_0018__RESPONDED_R_0007_0019__TO,R_0007_0020__THIS_R_0007_0021__CHALLENGE)
& has_arg0(R_0007_0018__RESPONDED_R_0007_0019__TO,R_0007_0017__THEY)
& has_nim(R_0007_0018__RESPONDED_R_0007_0019__TO,R_0007_0016__HOW)
& r_0007_0002__hope(R_0007_0002__HOPE)
& ! [Z_0007_5004] :
( z_0007_5004(Z_0007_5004)
=> ? [R_0007_0014__PRIDE,R_0007_0009__WILL_R_0007_0010__BE_R_0007_0011__ABLE_R_0007_0013__TAKE_R_0007_0015__IN] :
( r_0007_0014__pride(R_0007_0014__PRIDE)
& r_0007_0009__will_r_0007_0010__be_r_0007_0011__able_r_0007_0013__take_r_0007_0015__in(R_0007_0009__WILL_R_0007_0010__BE_R_0007_0011__ABLE_R_0007_0013__TAKE_R_0007_0015__IN)
& has_arg0(R_0007_0009__WILL_R_0007_0010__BE_R_0007_0011__ABLE_R_0007_0013__TAKE_R_0007_0015__IN,Z_0007_5004)
& has_arg2(R_0007_0009__WILL_R_0007_0010__BE_R_0007_0011__ABLE_R_0007_0013__TAKE_R_0007_0015__IN,R_0007_0016__HOW)
& has_arg1(R_0007_0009__WILL_R_0007_0010__BE_R_0007_0011__ABLE_R_0007_0013__TAKE_R_0007_0015__IN,R_0007_0014__PRIDE) ) )
& has_r_0007_0003__in__nim(R_0007_0002__HOPE,R_0007_0004__THE_R_0007_0005__YEARS)
& r_0007_0004__the_r_0007_0005__years(R_0007_0004__THE_R_0007_0005__YEARS)
& has_inv_arg0(R_0007_0004__THE_R_0007_0005__YEARS,R_0007_0007__COME)
& has_arg0(R_0007_0002__HOPE,R_0007_0001__I) ) ).