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_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] 
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_4 When n1_a_stories_09_m12_8 John n1_a_stories_09_m12_10 was n1_a_stories_09_m12_13 a n1_a_stories_09_m12_15 cub n1_a_stories_09_m12_18 he n1_a_stories_09_m12_20 was n1_a_stories_09_m12_23 on n1_a_stories_09_m12_27 his n1_a_stories_09_m12_29 bob-a-job n1_a_stories_09_m12_31 week n1_a_stories_09_m12_33 . n1_a_stories_09_m12_1 IP-MAT n1_a_stories_09_m12_2 PP-SCON n1_a_stories_09_m12_1->n1_a_stories_09_m12_2 n1_a_stories_09_m12_16 NP-SBJ n1_a_stories_09_m12_1->n1_a_stories_09_m12_16 n1_a_stories_09_m12_19 BED;_Ipr_ n1_a_stories_09_m12_1->n1_a_stories_09_m12_19 n1_a_stories_09_m12_21 PP-CLR n1_a_stories_09_m12_1->n1_a_stories_09_m12_21 n1_a_stories_09_m12_32 PUNC n1_a_stories_09_m12_1->n1_a_stories_09_m12_32 n1_a_stories_09_m12_3 P-CONN n1_a_stories_09_m12_2->n1_a_stories_09_m12_3 n1_a_stories_09_m12_5 IP-ADV n1_a_stories_09_m12_2->n1_a_stories_09_m12_5 n1_a_stories_09_m12_3->n1_a_stories_09_m12_4 n1_a_stories_09_m12_6 NP-SBJ n1_a_stories_09_m12_5->n1_a_stories_09_m12_6 n1_a_stories_09_m12_9 BED;_Ln_ n1_a_stories_09_m12_5->n1_a_stories_09_m12_9 n1_a_stories_09_m12_11 NP-PRD n1_a_stories_09_m12_5->n1_a_stories_09_m12_11 n1_a_stories_09_m12_7 NPR n1_a_stories_09_m12_6->n1_a_stories_09_m12_7 n1_a_stories_09_m12_7->n1_a_stories_09_m12_8 n1_a_stories_09_m12_9->n1_a_stories_09_m12_10 n1_a_stories_09_m12_12 D n1_a_stories_09_m12_11->n1_a_stories_09_m12_12 n1_a_stories_09_m12_14 N n1_a_stories_09_m12_11->n1_a_stories_09_m12_14 n1_a_stories_09_m12_12->n1_a_stories_09_m12_13 n1_a_stories_09_m12_14->n1_a_stories_09_m12_15 n1_a_stories_09_m12_17 PRO n1_a_stories_09_m12_16->n1_a_stories_09_m12_17 n1_a_stories_09_m12_17->n1_a_stories_09_m12_18 n1_a_stories_09_m12_19->n1_a_stories_09_m12_20 n1_a_stories_09_m12_22 P-ROLE n1_a_stories_09_m12_21->n1_a_stories_09_m12_22 n1_a_stories_09_m12_24 NP n1_a_stories_09_m12_21->n1_a_stories_09_m12_24 n1_a_stories_09_m12_22->n1_a_stories_09_m12_23 n1_a_stories_09_m12_25 NP-GEN n1_a_stories_09_m12_24->n1_a_stories_09_m12_25 n1_a_stories_09_m12_28 N n1_a_stories_09_m12_24->n1_a_stories_09_m12_28 n1_a_stories_09_m12_30 N n1_a_stories_09_m12_24->n1_a_stories_09_m12_30 n1_a_stories_09_m12_26 PRO;_genm_ n1_a_stories_09_m12_25->n1_a_stories_09_m12_26 n1_a_stories_09_m12_26->n1_a_stories_09_m12_27 n1_a_stories_09_m12_28->n1_a_stories_09_m12_29 n1_a_stories_09_m12_30->n1_a_stories_09_m12_31 n1_a_stories_09_m12_32->n1_a_stories_09_m12_33 
( (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))