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.
( (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))
arc(r_0006_0003__are,r_0006_0001__Together,nim).
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_0012__reassure,arg1).
arc(r_0006_0012__reassure,r_0006_0009__I,arg0).
arc(r_0006_0012__reassure,r_0006_0013__you,arg2).
arc(r_0006_0012__reassure,r_0006_0015__if,arg1).
arc(r_0006_0015__if,r_0006_0017__remain,restriction).
arc(r_0006_0015__if,r_0006_0024__will,scope).
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_0024__will,r_0006_0022__then,nim).
arc(r_0006_0024__will,r_0006_0025__overcome,scope).
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_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_0012__REASSURE)
& r_0006_0012__reassure(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_0024__WILL_R_0006_0025__OVERCOME] :
( r_0006_0022__then(R_0006_0022__THEN)
& r_0006_0024__will_r_0006_0025__overcome(R_0006_0024__WILL_R_0006_0025__OVERCOME)
& has_arg1(R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0005__THIS_R_0006_0006__DISEASE)
& has_arg0(R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0002__WE)
& has_nim(R_0006_0024__WILL_R_0006_0025__OVERCOME,R_0006_0022__THEN) ) )
& has_arg2(R_0006_0012__REASSURE,R_0006_0013__YOU)
& has_arg0(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_nim(R_0006_0003__ARE_R_0006_0004__TACKLING,R_0006_0001__TOGETHER) ) ).