6_a_queen_broadcast
Together we are tackling this disease, and I want to reassure you that if we remain united and resolute, then we will overcome it.
arc(r_0006_0003__are, r_0006_0001__Together, nim4).
arc(r_0006_0003__are, r_0006_0004__tackling, scope).
arc(r_0006_0004__tackling, r_0006_0002__we, arg0).
arc(r_0006_0004__tackling, r_0006_0005__this_r_0006_0006__disease, arg1).
arc(r_0006_0008__and, r_0006_0003__are, conj1).
arc(r_0006_0008__and, r_0006_0010__want, conj2).
arc(r_0006_0010__want, r_0006_0009__I, arg0).
arc(r_0006_0010__want, r_0006_0011__to_r_0006_0012__reassure, arg1).
arc(r_0006_0011__to_r_0006_0012__reassure, r_0006_0009__I, arg0).
arc(r_0006_0011__to_r_0006_0012__reassure, r_0006_0013__you, arg2).
arc(r_0006_0011__to_r_0006_0012__reassure, r_0006_0015__if, arg1).
arc(r_0006_0014__that_r_0006_0024__will, r_0006_0022__then, nim65).
arc(r_0006_0014__that_r_0006_0024__will, r_0006_0025__overcome, scope).
arc(r_0006_0015__if, r_0006_0014__that_r_0006_0024__will, scope).
arc(r_0006_0015__if, r_0006_0017__remain, restriction).
arc(r_0006_0017__remain, r_0006_0002__we, arg0).
arc(r_0006_0017__remain, r_0006_0019__and, prd).
arc(r_0006_0019__and, r_0006_0018__united, conj1).
arc(r_0006_0019__and, r_0006_0020__resolute, conj2).
arc(r_0006_0025__overcome, r_0006_0002__we, arg0).
arc(r_0006_0025__overcome, r_0006_0005__this_r_0006_0006__disease, arg1).
fof(formula,axiom,
? [R_6_8_AND,R_6_3_ARE_TACKLING,R_6_2_WE,R_6_5_THIS_DISEASE,R_6_1_TOGETHER,R_6_10_WANT,R_6_11_TO_REASSURE,R_6_9_I,R_6_13_YOU] :
( we(R_6_2_WE)
& this_disease(R_6_5_THIS_DISEASE)
& together(R_6_1_TOGETHER)
& i(R_6_9_I)
& you(R_6_13_YOU)
& and(R_6_8_AND)
& conj1(R_6_8_AND,R_6_3_ARE_TACKLING)
& are_tackling(R_6_3_ARE_TACKLING,R_6_2_WE,R_6_5_THIS_DISEASE)
& nim4(R_6_3_ARE_TACKLING,R_6_1_TOGETHER)
& conj2(R_6_8_AND,R_6_10_WANT)
& want(R_6_10_WANT,R_6_9_I,R_6_11_TO_REASSURE)
& ! [R_6_17_REMAIN,R_6_19_AND,R_6_18_UNITED,R_6_20_RESOLUTE] :
( ( united(R_6_18_UNITED)
& resolute(R_6_20_RESOLUTE)
& remain(R_6_17_REMAIN,R_6_2_WE,R_6_19_AND)
& and(R_6_19_AND)
& conj1(R_6_19_AND,R_6_18_UNITED)
& conj2(R_6_19_AND,R_6_20_RESOLUTE) )
=> ? [R_6_14_THAT_WILL_OVERCOME,R_6_22_THEN] :
( then(R_6_22_THEN)
& that_will_overcome(R_6_14_THAT_WILL_OVERCOME,R_6_2_WE,R_6_5_THIS_DISEASE)
& nim65(R_6_14_THAT_WILL_OVERCOME,R_6_22_THEN) ) )
& arg1(ARG1)
& to_reassure(R_6_11_TO_REASSURE,R_6_9_I)
& arg2(R_6_11_TO_REASSURE,R_6_13_YOU) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Together;{together}))
(NP-SBJ (PRO we;{we}))
(BEP;_cat_Vg_ are;{be})
(IP-PPL-CAT (VAG;_Tn_ tackling;{tackle})
(NP-OB1;{DISEASE} (D this;{this})
(N disease;{disease}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (PRO I;{I}))
(VBP;_Tt_ want;{want})
(IP-INF-OB1 (TO to;{to})
(VB;_Dn.f_ reassure;{reassure})
(NP-OB2 (PRO you;{you}))
(CP-THT-OB1 (IP-SUB (C that;{that})
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (PRO we;{we}))
(VBP;_La_ remain;{remain})
(ADJP-PRD (AJLYR (AJLYR (ADJ united;{united}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ resolute;{resolute})))))))
(PUNC ,)
(ADVP-NIM (ADV then;{then}))
(NP-SBJ (PRO we;{we}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn_ overcome;{overcome})
(NP-OB1;{DISEASE} (PRO it;{it})))))))))
(PUNC .))
(ID 6_a_queen_broadcast))