Context                Previous, Next                Top


9_a_stories_10_k58
My father is on shift work and Mickey can tell which shift he is on.

%3 r_0009_0002__father father r_0009_0001__My My r_0009_0002__father->r_0009_0001__My [gen] r_0009_0003__is is r_0009_0003__is->r_0009_0002__father [arg0] r_0009_0005__shift_r_0009_0006__work shift work r_0009_0003__is->r_0009_0005__shift_r_0009_0006__work on [clr] r_0009_0007__and and r_0009_0007__and->r_0009_0003__is [conj1] r_0009_0009__can can r_0009_0007__and->r_0009_0009__can [conj2] r_0009_0010__tell tell r_0009_0009__can->r_0009_0010__tell [scope] r_0009_0008__Mickey Mickey r_0009_0010__tell->r_0009_0008__Mickey [arg0] r_0009_0014__is is r_0009_0010__tell->r_0009_0014__is [arg1] r_0009_0014__is->r_0009_0002__father [arg0] r_0009_0011__which_r_0009_0012__shift which shift r_0009_0014__is->r_0009_0011__which_r_0009_0012__shift on [clr] 
arc(r_0009_0002__father, r_0009_0001__My, gen).
arc(r_0009_0003__is, r_0009_0002__father, arg0).
arc(r_0009_0003__is, r_0009_0005__shift_r_0009_0006__work, r_0009_0004__on_clr15).
arc(r_0009_0007__and, r_0009_0003__is, conj1).
arc(r_0009_0007__and, r_0009_0009__can, conj2).
arc(r_0009_0009__can, r_0009_0010__tell, scope).
arc(r_0009_0010__tell, r_0009_0008__Mickey, arg0).
arc(r_0009_0010__tell, r_0009_0014__is, arg1).
arc(r_0009_0014__is, r_0009_0002__father, arg0).
arc(r_0009_0014__is, r_0009_0011__which_r_0009_0012__shift, r_0009_0015__on_clr47).


%3 r_0009_0014__is is r_0009_0011__which_r_0009_0012__shift which shift r_0009_0014__is->r_0009_0011__which_r_0009_0012__shift on [clr] r_0009_0002__father father r_0009_0014__is->r_0009_0002__father [arg0] r_0009_0001__My My r_0009_0002__father->r_0009_0001__My [gen] r_0009_0009__can_r_0009_0010__tell can tell r_0009_0009__can_r_0009_0010__tell->r_0009_0014__is [arg1] r_0009_0008__Mickey Mickey r_0009_0009__can_r_0009_0010__tell->r_0009_0008__Mickey [arg0] r_0009_0007__and and r_0009_0007__and->r_0009_0009__can_r_0009_0010__tell [conj2] r_0009_0003__is is r_0009_0007__and->r_0009_0003__is [conj1] r_0009_0003__is->r_0009_0002__father [arg0] r_0009_0005__shift_r_0009_0006__work shift work r_0009_0003__is->r_0009_0005__shift_r_0009_0006__work on [clr] 
fof(formula,axiom,
    ? [R_9_7_AND,R_9_3_IS,R_9_5_SHIFT_WORK,R_9_9_CAN_TELL,R_9_8_MICKEY,R_9_14_IS,R_9_2_FATHER,R_9_1_MY,R_9_11_WHICH_SHIFT] :
      ( shift_work(R_9_5_SHIFT_WORK)
      & mickey(R_9_8_MICKEY)
      & my(R_9_1_MY)
      & which_shift(R_9_11_WHICH_SHIFT)
      & and(R_9_7_AND)
      & conj1(R_9_7_AND,R_9_3_IS)
      & is(R_9_3_IS,R_9_2_FATHER)
      & father(R_9_2_FATHER)
      & gen(R_9_2_FATHER,R_9_1_MY)
      & on_clr15(R_9_3_IS,R_9_5_SHIFT_WORK)
      & conj2(R_9_7_AND,R_9_9_CAN_TELL)
      & can_tell(R_9_9_CAN_TELL,R_9_8_MICKEY,R_9_14_IS)
      & is(R_9_14_IS,R_9_2_FATHER)
      & on_clr47(R_9_14_IS,R_9_11_WHICH_SHIFT) ) ).


n9_a_stories_10_k58 n9_a_stories_10_k58__1_1_1_1_1_1_1 My n9_a_stories_10_k58__1_1_1_1_2_1 father n9_a_stories_10_k58__1_1_1_2_1 is n9_a_stories_10_k58__1_1_1_3_1_1 on n9_a_stories_10_k58__1_1_1_3_2_1_1 shift n9_a_stories_10_k58__1_1_1_3_2_2_1 work n9_a_stories_10_k58__1_1_2_1_1 and n9_a_stories_10_k58__1_1_2_2_1_1_1 Mickey n9_a_stories_10_k58__1_1_2_2_2_1 can n9_a_stories_10_k58__1_1_2_2_3_1_1 tell n9_a_stories_10_k58__1_1_2_2_3_2_1_1_1_1 which n9_a_stories_10_k58__1_1_2_2_3_2_1_1_2_1 shift n9_a_stories_10_k58__1_1_2_2_3_2_1_2_1_1 he n9_a_stories_10_k58__1_1_2_2_3_2_1_3_1 is n9_a_stories_10_k58__1_1_2_2_3_2_1_4_1_1 on n9_a_stories_10_k58__1_1_2_2_3_2_1_4_2_1 *ICH*-107 n9_a_stories_10_k58__1_2_1 . n9_a_stories_10_k58__1 IP-MAT n9_a_stories_10_k58__1_1 ILYR n9_a_stories_10_k58__1->n9_a_stories_10_k58__1_1 n9_a_stories_10_k58__1_2 PUNC n9_a_stories_10_k58__1->n9_a_stories_10_k58__1_2 n9_a_stories_10_k58__1_1_1 ILYR n9_a_stories_10_k58__1_1->n9_a_stories_10_k58__1_1_1 n9_a_stories_10_k58__1_1_2 CONJP n9_a_stories_10_k58__1_1->n9_a_stories_10_k58__1_1_2 n9_a_stories_10_k58__1_1_1_1 NP-SBJ n9_a_stories_10_k58__1_1_1->n9_a_stories_10_k58__1_1_1_1 n9_a_stories_10_k58__1_1_1_2 BEP;_Ipr_ n9_a_stories_10_k58__1_1_1->n9_a_stories_10_k58__1_1_1_2 n9_a_stories_10_k58__1_1_1_3 PP-CLR n9_a_stories_10_k58__1_1_1->n9_a_stories_10_k58__1_1_1_3 n9_a_stories_10_k58__1_1_1_1_1 NP-GEN n9_a_stories_10_k58__1_1_1_1->n9_a_stories_10_k58__1_1_1_1_1 n9_a_stories_10_k58__1_1_1_1_2 N n9_a_stories_10_k58__1_1_1_1->n9_a_stories_10_k58__1_1_1_1_2 n9_a_stories_10_k58__1_1_1_1_1_1 PRO;_genm_ n9_a_stories_10_k58__1_1_1_1_1->n9_a_stories_10_k58__1_1_1_1_1_1 n9_a_stories_10_k58__1_1_1_1_1_1->n9_a_stories_10_k58__1_1_1_1_1_1_1 n9_a_stories_10_k58__1_1_1_1_2->n9_a_stories_10_k58__1_1_1_1_2_1 n9_a_stories_10_k58__1_1_1_2->n9_a_stories_10_k58__1_1_1_2_1 n9_a_stories_10_k58__1_1_1_3_1 P-ROLE n9_a_stories_10_k58__1_1_1_3->n9_a_stories_10_k58__1_1_1_3_1 n9_a_stories_10_k58__1_1_1_3_2 NP n9_a_stories_10_k58__1_1_1_3->n9_a_stories_10_k58__1_1_1_3_2 n9_a_stories_10_k58__1_1_1_3_1->n9_a_stories_10_k58__1_1_1_3_1_1 n9_a_stories_10_k58__1_1_1_3_2_1 N n9_a_stories_10_k58__1_1_1_3_2->n9_a_stories_10_k58__1_1_1_3_2_1 n9_a_stories_10_k58__1_1_1_3_2_2 N n9_a_stories_10_k58__1_1_1_3_2->n9_a_stories_10_k58__1_1_1_3_2_2 n9_a_stories_10_k58__1_1_1_3_2_1->n9_a_stories_10_k58__1_1_1_3_2_1_1 n9_a_stories_10_k58__1_1_1_3_2_2->n9_a_stories_10_k58__1_1_1_3_2_2_1 n9_a_stories_10_k58__1_1_2_1 CONJ n9_a_stories_10_k58__1_1_2->n9_a_stories_10_k58__1_1_2_1 n9_a_stories_10_k58__1_1_2_2 ILYR n9_a_stories_10_k58__1_1_2->n9_a_stories_10_k58__1_1_2_2 n9_a_stories_10_k58__1_1_2_1->n9_a_stories_10_k58__1_1_2_1_1 n9_a_stories_10_k58__1_1_2_2_1 NP-SBJ n9_a_stories_10_k58__1_1_2_2->n9_a_stories_10_k58__1_1_2_2_1 n9_a_stories_10_k58__1_1_2_2_2 MD;_cat_Vi_ n9_a_stories_10_k58__1_1_2_2->n9_a_stories_10_k58__1_1_2_2_2 n9_a_stories_10_k58__1_1_2_2_3 IP-INF-CAT n9_a_stories_10_k58__1_1_2_2->n9_a_stories_10_k58__1_1_2_2_3 n9_a_stories_10_k58__1_1_2_2_1_1 NPR n9_a_stories_10_k58__1_1_2_2_1->n9_a_stories_10_k58__1_1_2_2_1_1 n9_a_stories_10_k58__1_1_2_2_1_1->n9_a_stories_10_k58__1_1_2_2_1_1_1 n9_a_stories_10_k58__1_1_2_2_2->n9_a_stories_10_k58__1_1_2_2_2_1 n9_a_stories_10_k58__1_1_2_2_3_1 VB;_Tw_ n9_a_stories_10_k58__1_1_2_2_3->n9_a_stories_10_k58__1_1_2_2_3_1 n9_a_stories_10_k58__1_1_2_2_3_2 CP-QUE-OB1 n9_a_stories_10_k58__1_1_2_2_3->n9_a_stories_10_k58__1_1_2_2_3_2 n9_a_stories_10_k58__1_1_2_2_3_1->n9_a_stories_10_k58__1_1_2_2_3_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1 IP-SUB n9_a_stories_10_k58__1_1_2_2_3_2->n9_a_stories_10_k58__1_1_2_2_3_2_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_1 NP-107 n9_a_stories_10_k58__1_1_2_2_3_2_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_2 NP-SBJ n9_a_stories_10_k58__1_1_2_2_3_2_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_2 n9_a_stories_10_k58__1_1_2_2_3_2_1_3 BEP;_Ipr_ n9_a_stories_10_k58__1_1_2_2_3_2_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_3 n9_a_stories_10_k58__1_1_2_2_3_2_1_4 PP-CLR n9_a_stories_10_k58__1_1_2_2_3_2_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_4 n9_a_stories_10_k58__1_1_2_2_3_2_1_1_1 WD n9_a_stories_10_k58__1_1_2_2_3_2_1_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_1_2 N n9_a_stories_10_k58__1_1_2_2_3_2_1_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_1_2 n9_a_stories_10_k58__1_1_2_2_3_2_1_1_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_1_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_1_2->n9_a_stories_10_k58__1_1_2_2_3_2_1_1_2_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_2_1 PRO n9_a_stories_10_k58__1_1_2_2_3_2_1_2->n9_a_stories_10_k58__1_1_2_2_3_2_1_2_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_2_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_2_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_3->n9_a_stories_10_k58__1_1_2_2_3_2_1_3_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_4_1 P-ROLE n9_a_stories_10_k58__1_1_2_2_3_2_1_4->n9_a_stories_10_k58__1_1_2_2_3_2_1_4_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_4_2 NP n9_a_stories_10_k58__1_1_2_2_3_2_1_4->n9_a_stories_10_k58__1_1_2_2_3_2_1_4_2 n9_a_stories_10_k58__1_1_2_2_3_2_1_4_1->n9_a_stories_10_k58__1_1_2_2_3_2_1_4_1_1 n9_a_stories_10_k58__1_1_2_2_3_2_1_4_2->n9_a_stories_10_k58__1_1_2_2_3_2_1_4_2_1 n9_a_stories_10_k58__1_2->n9_a_stories_10_k58__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FATHER} (NP-GEN (PRO;_genm_ My;{my}))
                                       (N father;{father}))
                      (BEP;_Ipr_ is;{be[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (N shift;{shift})
                                  (N work;{work}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (VB;_Tw_ tell;{tell})
                                         (CP-QUE-OB1 (IP-SUB (NP-107 (WD which;{which})
                                                                     (N shift;{shift}))
                                                             (NP-SBJ;{FATHER} (PRO he;{he}))
                                                             (BEP;_Ipr_ is;{be[on]})
                                                             (PP-CLR (P-ROLE on;{on})
                                                                     (NP *ICH*-107))))))))
          (PUNC .))
  (ID 9_a_stories_10_k58))