1_a_johnson_letter
The Prime Minister's letter will be sent to 30 million households, Number 10 said.
( (IP-MAT (NP-SBJ;{LETTER} (NP-GEN (D The;{the})
(NPR Prime;{Prime})
(NPR Minister;{Minister})
(GENM <apos>s))
(N letter;{letter}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.pr_ sent;{send[to]})
(PP-OB2 (P-ROLE to;{to})
(NP (NUM 30)
(N million)
(NS households;{household})))))
(PUNC ,)
(PRN (IP-MAT (NP-SBJ (N Number;{number})
(NUM 10))
(VBD;_Tf_ said;{say})))
(PUNC .))
(ID 1_a_johnson_letter))
arc(r_0001_0005__letter,r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister,gen).
arc(r_0001_0006__will,r_0001_0007__be,scope).
arc(r_0001_0006__will,r_0001_0016__said,prn).
arc(r_0001_0007__be,r_0001_0008__sent_r_0001_0009__to,scope).
arc(r_0001_0008__sent_r_0001_0009__to,r_0001_0005__letter,arg1).
arc(r_0001_0008__sent_r_0001_0009__to,r_0001_0010__30_r_0001_0011__million_r_0001_0012__households,arg2).
arc(r_0001_0008__sent_r_0001_0009__to,z_0001_5008___star_,arg0).
arc(r_0001_0016__said,r_0001_0014__Number_r_0001_0015__10,arg0).
fof(formula,axiom,
? [R_0001_0014__NUMBER_R_0001_0015__10,R_0001_0016__SAID,R_0001_0001__THE_R_0001_0002__PRIME_R_0001_0003__MINISTER,R_0001_0005__LETTER,R_0001_0010__30_R_0001_0011__MILLION_R_0001_0012__HOUSEHOLDS,Z_0001_5008___STAR_,R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO] :
( r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister(R_0001_0001__THE_R_0001_0002__PRIME_R_0001_0003__MINISTER)
& r_0001_0010__30_r_0001_0011__million_r_0001_0012__households(R_0001_0010__30_R_0001_0011__MILLION_R_0001_0012__HOUSEHOLDS)
& r_0001_0014__Number_r_0001_0015__10(R_0001_0014__NUMBER_R_0001_0015__10)
& z_0001_5008___star_(Z_0001_5008___STAR_)
& r_0001_0006__will_r_0001_0007__be_r_0001_0008__sent_r_0001_0009__to(R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO)
& has_arg0(R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO,Z_0001_5008___STAR_)
& has_arg2(R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO,R_0001_0010__30_R_0001_0011__MILLION_R_0001_0012__HOUSEHOLDS)
& has_arg1(R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO,R_0001_0005__LETTER)
& r_0001_0005__letter(R_0001_0005__LETTER)
& has_gen(R_0001_0005__LETTER,R_0001_0001__THE_R_0001_0002__PRIME_R_0001_0003__MINISTER)
& has_prn(R_0001_0006__WILL_R_0001_0007__BE_R_0001_0008__SENT_R_0001_0009__TO,R_0001_0016__SAID)
& r_0001_0016__said(R_0001_0016__SAID)
& has_arg0(R_0001_0016__SAID,R_0001_0014__NUMBER_R_0001_0015__10) ) ).