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_0006_0001__TOGETHER,R_0006_0002__WE,R_0006_0005__THIS_R_0006_0006__DISEASE,R_0006_0003__ARE_R_0006_0004__TACKLING,R_0006_0009__I,R_0006_0013__YOU,R_0006_0011__TO_R_0006_0012__REASSURE,R_0006_0010__WANT,R_0006_0008__AND] :
( r_0006_0001__Together(R_0006_0001__TOGETHER)
& r_0006_0002__we(R_0006_0002__WE)
& r_0006_0005__this_r_0006_0006__disease(R_0006_0005__THIS_R_0006_0006__DISEASE)
& r_0006_0009__I(R_0006_0009__I)
& r_0006_0013__you(R_0006_0013__YOU)
& r_0006_0008__and(R_0006_0008__AND)
& has_conj2(R_0006_0008__AND,R_0006_0010__WANT)
& r_0006_0010__want(R_0006_0010__WANT)
& has_arg1(R_0006_0010__WANT,R_0006_0011__TO_R_0006_0012__REASSURE)
& r_0006_0011__to_r_0006_0012__reassure(R_0006_0011__TO_R_0006_0012__REASSURE)
& ! [R_0006_0017__REMAIN,R_0006_0018__UNITED,R_0006_0020__RESOLUTE,R_0006_0019__AND] :
( ( r_0006_0018__united(R_0006_0018__UNITED)
& r_0006_0020__resolute(R_0006_0020__RESOLUTE)
& r_0006_0017__remain(R_0006_0017__REMAIN)
& has_prd(R_0006_0017__REMAIN,R_0006_0019__AND)
& r_0006_0019__and(R_0006_0019__AND)
& has_conj2(R_0006_0019__AND,R_0006_0020__RESOLUTE)
& has_conj1(R_0006_0019__AND,R_0006_0018__UNITED)
& has_arg0(R_0006_0017__REMAIN,R_0006_0002__WE) )
=> ? [R_0006_0022__THEN,R_0006_0014__THAT_R_0006_0024__WILL_R_0006_0025__OVERCOME] :
( r_0006_0022__then(R_0006_0022__THEN)
& r_0006_0014__that_r_0006_0024__will_r_0006_0025__overcome(R_0006_0014__THAT_R_0006_0024__WILL_R_0006_0025__OVERCOME)
& has_arg1(R_0006_0014__THAT_R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0005__THIS_R_0006_0006__DISEASE)
& has_arg0(R_0006_0014__THAT_R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0002__WE)
& has_nim65(R_0006_0014__THAT_R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0022__THEN) ) )
& has_arg2(R_0006_0011__TO_R_0006_0012__REASSURE,R_0006_0013__YOU)
& has_arg0(R_0006_0011__TO_R_0006_0012__REASSURE,R_0006_0009__I)
& has_arg0(R_0006_0010__WANT,R_0006_0009__I)
& has_conj1(R_0006_0008__AND,R_0006_0003__ARE_R_0006_0004__TACKLING)
& r_0006_0003__are_r_0006_0004__tackling(R_0006_0003__ARE_R_0006_0004__TACKLING)
& has_arg1(R_0006_0003__ARE_R_0006_0004__TACKLING,R_0006_0005__THIS_R_0006_0006__DISEASE)
& has_arg0(R_0006_0003__ARE_R_0006_0004__TACKLING,R_0006_0002__WE)
& has_nim4(R_0006_0003__ARE_R_0006_0004__TACKLING,R_0006_0001__TOGETHER) ) ).
( (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))