3_a_stories_10_k58
Mickey was bought when he was only a puppy of three weeks.
( (IP-MAT (NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT;{PURCHASE} (NP-LGS *)
(VVN;_Tn_ bought;{buy}))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{MICKEY} (PRO he;{he}))
(BED;_Ln_ was;{be})
(NP-PRD (ADVP (ADV only;{only}))
(D a;{a})
(N puppy;{puppy})
(PP (P-ROLE of;{of})
(NP (NUM three;{three})
(NS weeks;{week}))))))
(PUNC .))
(ID 3_a_stories_10_k58))
arc(r_0003_0002__was,r_0003_0003__bought,scope).
arc(r_0003_0003__bought,r_0003_0001__Mickey,arg1).
arc(r_0003_0003__bought,z_0003_5008___star_,arg0).
arc(r_0003_0004__when,r_0003_0002__was,scope).
arc(r_0003_0004__when,r_0003_0006__was,restriction).
arc(r_0003_0006__was,r_0003_0001__Mickey,arg0).
arc(r_0003_0006__was,r_0003_0008__a_r_0003_0009__puppy,prd).
arc(r_0003_0008__a_r_0003_0009__puppy,r_0003_0007__only,qual).
arc(r_0003_0008__a_r_0003_0009__puppy,r_0003_0011__three_r_0003_0012__weeks,r_0003_0010__of).
fof(formula,axiom,
! [R_0003_0006__WAS,R_0003_0001__MICKEY,R_0003_0007__ONLY,R_0003_0011__THREE_R_0003_0012__WEEKS,R_0003_0008__A_R_0003_0009__PUPPY] :
( ( r_0003_0001__Mickey(R_0003_0001__MICKEY)
& r_0003_0007__only(R_0003_0007__ONLY)
& r_0003_0011__three_r_0003_0012__weeks(R_0003_0011__THREE_R_0003_0012__WEEKS)
& r_0003_0006__was(R_0003_0006__WAS)
& has_prd(R_0003_0006__WAS,R_0003_0008__A_R_0003_0009__PUPPY)
& r_0003_0008__a_r_0003_0009__puppy(R_0003_0008__A_R_0003_0009__PUPPY)
& has_r_0003_0010__of(R_0003_0008__A_R_0003_0009__PUPPY,R_0003_0011__THREE_R_0003_0012__WEEKS)
& has_qual(R_0003_0008__A_R_0003_0009__PUPPY,R_0003_0007__ONLY)
& has_arg0(R_0003_0006__WAS,R_0003_0001__MICKEY) )
=> ? [Z_0003_5008___STAR_,R_0003_0002__WAS_R_0003_0003__BOUGHT] :
( z_0003_5008___star_(Z_0003_5008___STAR_)
& r_0003_0002__was_r_0003_0003__bought(R_0003_0002__WAS_R_0003_0003__BOUGHT)
& has_arg0(R_0003_0002__WAS_R_0003_0003__BOUGHT,Z_0003_5008___STAR_)
& has_arg1(R_0003_0002__WAS_R_0003_0003__BOUGHT,R_0003_0001__MICKEY) ) ) ).