Context                Previous, Next                Top


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

%3 r_0001_0001__When When r_0001_0003__was was r_0001_0001__When->r_0001_0003__was [restriction] r_0001_0007__was was r_0001_0001__When->r_0001_0007__was [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_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_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week on [clr] r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week->r_0001_0002__John [gen] 
arc(r_0001_0001__When, r_0001_0003__was, restriction).
arc(r_0001_0001__When, r_0001_0007__was, 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_0002__John, arg0).
arc(r_0001_0007__was, r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week, r_0001_0008__on_clr24).
arc(r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week, r_0001_0002__John, gen).


%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 was r_0001_0007__was->r_0001_0010__bob__hyphen__a__hyphen__job_r_0001_0011__week on [clr] r_0001_0007__was->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 [scope] r_0001_0001__When->r_0001_0003__was [restriction] 
fof(formula,axiom,
    ! [R_1_3_WAS,R_1_2_JOHN,R_1_4_A_CUB] :
      ( ( john(R_1_2_JOHN)
        & a_cub(R_1_4_A_CUB)
        & was(R_1_3_WAS,R_1_2_JOHN,R_1_4_A_CUB) )
     => ? [R_1_7_WAS,R_1_10_BOB_HYPHEN_A_HYPHEN_JOB_WEEK] :
          ( was(R_1_7_WAS,R_1_2_JOHN)
          & on_clr24(R_1_7_WAS,R_1_10_BOB_HYPHEN_A_HYPHEN_JOB_WEEK)
          & bob_hyphen_a_hyphen_job_week(R_1_10_BOB_HYPHEN_A_HYPHEN_JOB_WEEK)
          & gen(R_1_10_BOB_HYPHEN_A_HYPHEN_JOB_WEEK,R_1_2_JOHN) ) ) ).


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))