1_a_stories_09_m12
When John was a cub he was on his bob-a-job week.

n1_a_stories_09_m12 n1_a_stories_09_m12__1_1_1_1 When n1_a_stories_09_m12__1_1_2_1_1_1 John n1_a_stories_09_m12__1_1_2_2_1 was n1_a_stories_09_m12__1_1_2_3_1_1 a n1_a_stories_09_m12__1_1_2_3_2_1 cub n1_a_stories_09_m12__1_2_1_1 he n1_a_stories_09_m12__1_3_1 was n1_a_stories_09_m12__1_4_1_1 on n1_a_stories_09_m12__1_4_2_1_1_1 his n1_a_stories_09_m12__1_4_2_2_1 bob-a-job n1_a_stories_09_m12__1_4_2_3_1 week n1_a_stories_09_m12__1_5_1 . n1_a_stories_09_m12__1 IP-MAT n1_a_stories_09_m12__1_1 PP-SCON n1_a_stories_09_m12__1->n1_a_stories_09_m12__1_1 n1_a_stories_09_m12__1_2 NP-SBJ n1_a_stories_09_m12__1->n1_a_stories_09_m12__1_2 n1_a_stories_09_m12__1_3 BED;_Ipr_ n1_a_stories_09_m12__1->n1_a_stories_09_m12__1_3 n1_a_stories_09_m12__1_4 PP-CLR n1_a_stories_09_m12__1->n1_a_stories_09_m12__1_4 n1_a_stories_09_m12__1_5 PUNC n1_a_stories_09_m12__1->n1_a_stories_09_m12__1_5 n1_a_stories_09_m12__1_1_1 P-CONN n1_a_stories_09_m12__1_1->n1_a_stories_09_m12__1_1_1 n1_a_stories_09_m12__1_1_2 IP-ADV n1_a_stories_09_m12__1_1->n1_a_stories_09_m12__1_1_2 n1_a_stories_09_m12__1_1_1->n1_a_stories_09_m12__1_1_1_1 n1_a_stories_09_m12__1_1_2_1 NP-SBJ n1_a_stories_09_m12__1_1_2->n1_a_stories_09_m12__1_1_2_1 n1_a_stories_09_m12__1_1_2_2 BED;_Ln_ n1_a_stories_09_m12__1_1_2->n1_a_stories_09_m12__1_1_2_2 n1_a_stories_09_m12__1_1_2_3 NP-PRD n1_a_stories_09_m12__1_1_2->n1_a_stories_09_m12__1_1_2_3 n1_a_stories_09_m12__1_1_2_1_1 NPR n1_a_stories_09_m12__1_1_2_1->n1_a_stories_09_m12__1_1_2_1_1 n1_a_stories_09_m12__1_1_2_1_1->n1_a_stories_09_m12__1_1_2_1_1_1 n1_a_stories_09_m12__1_1_2_2->n1_a_stories_09_m12__1_1_2_2_1 n1_a_stories_09_m12__1_1_2_3_1 D n1_a_stories_09_m12__1_1_2_3->n1_a_stories_09_m12__1_1_2_3_1 n1_a_stories_09_m12__1_1_2_3_2 N n1_a_stories_09_m12__1_1_2_3->n1_a_stories_09_m12__1_1_2_3_2 n1_a_stories_09_m12__1_1_2_3_1->n1_a_stories_09_m12__1_1_2_3_1_1 n1_a_stories_09_m12__1_1_2_3_2->n1_a_stories_09_m12__1_1_2_3_2_1 n1_a_stories_09_m12__1_2_1 PRO n1_a_stories_09_m12__1_2->n1_a_stories_09_m12__1_2_1 n1_a_stories_09_m12__1_2_1->n1_a_stories_09_m12__1_2_1_1 n1_a_stories_09_m12__1_3->n1_a_stories_09_m12__1_3_1 n1_a_stories_09_m12__1_4_1 P-ROLE n1_a_stories_09_m12__1_4->n1_a_stories_09_m12__1_4_1 n1_a_stories_09_m12__1_4_2 NP n1_a_stories_09_m12__1_4->n1_a_stories_09_m12__1_4_2 n1_a_stories_09_m12__1_4_1->n1_a_stories_09_m12__1_4_1_1 n1_a_stories_09_m12__1_4_2_1 NP-GEN n1_a_stories_09_m12__1_4_2->n1_a_stories_09_m12__1_4_2_1 n1_a_stories_09_m12__1_4_2_2 N n1_a_stories_09_m12__1_4_2->n1_a_stories_09_m12__1_4_2_2 n1_a_stories_09_m12__1_4_2_3 N n1_a_stories_09_m12__1_4_2->n1_a_stories_09_m12__1_4_2_3 n1_a_stories_09_m12__1_4_2_1_1 PRO;_genm_ n1_a_stories_09_m12__1_4_2_1->n1_a_stories_09_m12__1_4_2_1_1 n1_a_stories_09_m12__1_4_2_1_1->n1_a_stories_09_m12__1_4_2_1_1_1 n1_a_stories_09_m12__1_4_2_2->n1_a_stories_09_m12__1_4_2_2_1 n1_a_stories_09_m12__1_4_2_3->n1_a_stories_09_m12__1_4_2_3_1 n1_a_stories_09_m12__1_5->n1_a_stories_09_m12__1_5_1
( (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))



%3 r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week bob-a-job week r_0001_0002__John John r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week->r_0001_0002__John [gen] r_0001_0007__was_r_0001_0008__on was on r_0001_0007__was_r_0001_0008__on->r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week [arg1] r_0001_0007__was_r_0001_0008__on->r_0001_0002__John [arg0] r_0001_0003__was was r_0001_0003__was->r_0001_0002__John [arg0] r_0001_0004__a_r_0001_0005__cub a cub r_0001_0003__was->r_0001_0004__a_r_0001_0005__cub [prd] r_0001_0001__When When r_0001_0001__When->r_0001_0007__was_r_0001_0008__on [scope] r_0001_0001__When->r_0001_0003__was [restriction]
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).



%3 r_0001_0001__When When r_0001_0003__was was r_0001_0001__When->r_0001_0003__was [restriction] r_0001_0007__was_r_0001_0008__on was on r_0001_0001__When->r_0001_0007__was_r_0001_0008__on [scope] r_0001_0002__John John r_0001_0003__was->r_0001_0002__John [arg0] r_0001_0004__a_r_0001_0005__cub a cub r_0001_0003__was->r_0001_0004__a_r_0001_0005__cub [prd] r_0001_0007__was_r_0001_0008__on->r_0001_0002__John [arg0] r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week bob-a-job week r_0001_0007__was_r_0001_0008__on->r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week [arg1] 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) ) ) ).