356_a_dick_1952
“A machine that was made to do a job.
( (FRAG (PULQ <ldquo>)
(NP (D A;{a})
(N machine;{machine})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ made;{make}))
(PP-SCON (IP-INF (TO to;{to})
(DO;_Tn_ do;{do})
(NP-OB1 (D a;{a})
(N job;{job}))))))
(PUNC .))
(ID 356_a_dick_1952))
arc(r_0356_0005__was,r_0356_0006__made,scope).
arc(r_0356_0006__made,r_0356_0002__A_r_0356_0003__machine,inv_arg1).
arc(r_0356_0006__made,z_0356_5011___star_,arg0).
arc(r_0356_0008__do,r_0356_0009__a_r_0356_0010__job,arg1).
arc(r_0356_0008__do,z_0356_5005,arg0).
arc(z_0356_5006,r_0356_0005__was,scope).
arc(z_0356_5006,r_0356_0008__do,restriction).
arc(z_0356_5014,r_0356_0002__A_r_0356_0003__machine,z_0356_5002).
fof(formula,axiom,
? [Z_0356_5011___STAR_,R_0356_0005__WAS_R_0356_0006__MADE,R_0356_0009__A_R_0356_0010__JOB,Z_0356_5005,R_0356_0008__DO,Z_0356_5006,R_0356_0002__A_R_0356_0003__MACHINE,Z_0356_5014] :
( r_0356_0009__a_r_0356_0010__job(R_0356_0009__A_R_0356_0010__JOB)
& z_0356_5005(Z_0356_5005)
& z_0356_5011___star_(Z_0356_5011___STAR_)
& z_0356_5014(Z_0356_5014)
& has_z_0356_5002(Z_0356_5014,R_0356_0002__A_R_0356_0003__MACHINE)
& r_0356_0002__A_r_0356_0003__machine(R_0356_0002__A_R_0356_0003__MACHINE)
& has_inv_arg1(R_0356_0002__A_R_0356_0003__MACHINE,R_0356_0005__WAS_R_0356_0006__MADE)
& r_0356_0005__was_r_0356_0006__made(R_0356_0005__WAS_R_0356_0006__MADE)
& has_arg0(R_0356_0005__WAS_R_0356_0006__MADE,Z_0356_5011___STAR_)
& z_0356_5006(Z_0356_5006)
& has_conj1(Z_0356_5006,R_0356_0008__DO)
& r_0356_0008__do(R_0356_0008__DO)
& has_arg0(R_0356_0008__DO,Z_0356_5005)
& has_arg1(R_0356_0008__DO,R_0356_0009__A_R_0356_0010__JOB)
& has_conj2(Z_0356_5006,R_0356_0005__WAS_R_0356_0006__MADE) ) ).