488_a_dick_1952
“Here are their pictures, their records.
( (IP-MAT (PULQ <ldquo>)
(ADVP-TPC-CLR (ADV Here;{here}))
(BEP;_Ip_ are;{be})
(NP-SBJ (NLYR (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
(NS pictures;{picture}))
(PUNC ,)
(CONJP (NLYR (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
(NS records;{record})))))
(PUNC .))
(ID 488_a_dick_1952))
arc(r_0488_0002__Here_r_0488_0003__are,z_0488_5005,arg0).
arc(r_0488_0005__pictures,r_0488_0004__their,gen).
arc(r_0488_0008__records,r_0488_0004__their,gen).
arc(z_0488_5005,r_0488_0005__pictures,conj1).
arc(z_0488_5005,r_0488_0008__records,conj2).
fof(formula,axiom,
? [R_0488_0004__THEIR,R_0488_0005__PICTURES,R_0488_0008__RECORDS,Z_0488_5005,R_0488_0002__HERE_R_0488_0003__ARE] :
( r_0488_0004__their(R_0488_0004__THEIR)
& r_0488_0002__Here_r_0488_0003__are(R_0488_0002__HERE_R_0488_0003__ARE)
& has_arg0(R_0488_0002__HERE_R_0488_0003__ARE,Z_0488_5005)
& z_0488_5005(Z_0488_5005)
& has_conj2(Z_0488_5005,R_0488_0008__RECORDS)
& r_0488_0008__records(R_0488_0008__RECORDS)
& has_gen(R_0488_0008__RECORDS,R_0488_0004__THEIR)
& has_conj1(Z_0488_5005,R_0488_0005__PICTURES)
& r_0488_0005__pictures(R_0488_0005__PICTURES)
& has_gen(R_0488_0005__PICTURES,R_0488_0004__THEIR) ) ).