42_a_voice_of_america
Sam Beattie reports from Jing Jing's home in Sichuan province.
( (IP-MAT (NP-SBJ (NPR Sam;{Sam})
(NPR Beattie;{Beattie}))
(VBP;_I_ reports;{report})
(PP-NIM (P-ROLE from;{from})
(NP (NP-GEN (NPR Jing;{Jing})
(NPR Jing;{Jing})
(GENM <apos>s))
(N home;{home})
(PP (P-ROLE in;{in})
(NP (ADJP (ADJ Sichuan;{sichuan}))
(N province;{province})))))
(PUNC .))
(ID 42_a_voice_of_america;p00d0252))
arc(r_0042_0003__reports,r_0042_0001__Sam_r_0042_0002__Beattie,arg0).
arc(r_0042_0003__reports,r_0042_0008__home,r_0042_0004__from__nim).
arc(r_0042_0008__home,r_0042_0005__Jing_r_0042_0006__Jing,gen).
arc(r_0042_0008__home,r_0042_0011__province,r_0042_0009__in).
arc(r_0042_0011__province,r_0042_0010__Sichuan,attrib).
fof(formula,axiom,
? [R_0042_0001__SAM_R_0042_0002__BEATTIE,R_0042_0005__JING_R_0042_0006__JING,R_0042_0010__SICHUAN,R_0042_0011__PROVINCE,R_0042_0008__HOME,R_0042_0003__REPORTS] :
( r_0042_0001__Sam_r_0042_0002__Beattie(R_0042_0001__SAM_R_0042_0002__BEATTIE)
& r_0042_0005__Jing_r_0042_0006__Jing(R_0042_0005__JING_R_0042_0006__JING)
& r_0042_0010__Sichuan(R_0042_0010__SICHUAN)
& r_0042_0003__reports(R_0042_0003__REPORTS)
& has_r_0042_0004__from__nim(R_0042_0003__REPORTS,R_0042_0008__HOME)
& r_0042_0008__home(R_0042_0008__HOME)
& has_r_0042_0009__in(R_0042_0008__HOME,R_0042_0011__PROVINCE)
& r_0042_0011__province(R_0042_0011__PROVINCE)
& has_attrib(R_0042_0011__PROVINCE,R_0042_0010__SICHUAN)
& has_gen(R_0042_0008__HOME,R_0042_0005__JING_R_0042_0006__JING)
& has_arg0(R_0042_0003__REPORTS,R_0042_0001__SAM_R_0042_0002__BEATTIE) ) ).