9_a_stories_10_k58
My father is on shift work and Mickey can tell which shift he is on.
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).
fof(formula,axiom,
? [R_0009_0001__MY,R_0009_0002__FATHER,R_0009_0005__SHIFT_R_0009_0006__WORK,R_0009_0003__IS,R_0009_0008__MICKEY,R_0009_0011__WHICH_R_0009_0012__SHIFT,R_0009_0014__IS,R_0009_0009__CAN_R_0009_0010__TELL,R_0009_0007__AND] :
( r_0009_0001__My(R_0009_0001__MY)
& r_0009_0005__shift_r_0009_0006__work(R_0009_0005__SHIFT_R_0009_0006__WORK)
& r_0009_0008__Mickey(R_0009_0008__MICKEY)
& r_0009_0011__which_r_0009_0012__shift(R_0009_0011__WHICH_R_0009_0012__SHIFT)
& r_0009_0007__and(R_0009_0007__AND)
& has_conj2(R_0009_0007__AND,R_0009_0009__CAN_R_0009_0010__TELL)
& r_0009_0009__can_r_0009_0010__tell(R_0009_0009__CAN_R_0009_0010__TELL)
& has_arg1(R_0009_0009__CAN_R_0009_0010__TELL,R_0009_0014__IS)
& r_0009_0014__is(R_0009_0014__IS)
& has_r_0009_0015__on_clr47(R_0009_0014__IS,R_0009_0011__WHICH_R_0009_0012__SHIFT)
& has_arg0(R_0009_0014__IS,R_0009_0002__FATHER)
& r_0009_0002__father(R_0009_0002__FATHER)
& has_gen(R_0009_0002__FATHER,R_0009_0001__MY)
& has_arg0(R_0009_0009__CAN_R_0009_0010__TELL,R_0009_0008__MICKEY)
& has_conj1(R_0009_0007__AND,R_0009_0003__IS)
& r_0009_0003__is(R_0009_0003__IS)
& has_r_0009_0004__on_clr15(R_0009_0003__IS,R_0009_0005__SHIFT_R_0009_0006__WORK)
& has_arg0(R_0009_0003__IS,R_0009_0002__FATHER) ) ).
( (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))