1_a_stories_09_m12
When John was a cub he was on his bob-a-job week.
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ;{JOHN} (NPR John;{John}))
(BED;_Ln_ was;{be})
(NP-PRD (D a;{a})
(N cub;{cub}))))
(NP-SBJ;{JOHN} (PRO he;{he}))
(BED;_Ipr_ was;{be[on]})
(PP-CLR (P-ROLE on;{on})
(NP (NP-GEN;{JOHN} (PRO;_genm_ his;{his}))
(N bob_<hyphen>_a_<hyphen>_job;{bob_a_job})
(N week;{week})))
(PUNC .))
(ID 1_a_stories_09_m12))
arc(r_0001_0001__When,r_0001_0003__was,restriction).
arc(r_0001_0001__When,r_0001_0007__was_r_0001_0008__on,scope).
arc(r_0001_0003__was,r_0001_0002__John,arg0).
arc(r_0001_0003__was,r_0001_0004__a_r_0001_0005__cub,prd).
arc(r_0001_0007__was_r_0001_0008__on,r_0001_0002__John,arg0).
arc(r_0001_0007__was_r_0001_0008__on,r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week,arg1).
arc(r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week,r_0001_0002__John,gen).
fof(formula,axiom,
! [R_0001_0003__WAS,R_0001_0002__JOHN,R_0001_0004__A_R_0001_0005__CUB] :
( ( r_0001_0002__John(R_0001_0002__JOHN)
& r_0001_0004__a_r_0001_0005__cub(R_0001_0004__A_R_0001_0005__CUB)
& r_0001_0003__was(R_0001_0003__WAS)
& has_prd(R_0001_0003__WAS,R_0001_0004__A_R_0001_0005__CUB)
& has_arg0(R_0001_0003__WAS,R_0001_0002__JOHN) )
=> ? [R_0001_0010__BOB__HYPHEN__A__HYPHEN__JOB_R_0001_0011__WEEK,R_0001_0007__WAS_R_0001_0008__ON] :
( r_0001_0007__was_r_0001_0008__on(R_0001_0007__WAS_R_0001_0008__ON)
& has_arg1(R_0001_0007__WAS_R_0001_0008__ON,R_0001_0010__BOB__HYPHEN__A__HYPHEN__JOB_R_0001_0011__WEEK)
& r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week(R_0001_0010__BOB__HYPHEN__A__HYPHEN__JOB_R_0001_0011__WEEK)
& has_gen(R_0001_0010__BOB__HYPHEN__A__HYPHEN__JOB_R_0001_0011__WEEK,R_0001_0002__JOHN)
& has_arg0(R_0001_0007__WAS_R_0001_0008__ON,R_0001_0002__JOHN) ) ) ).