9_a_stories_10_k58
My father is on shift work and Mickey can tell which shift he is on.
( (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))
arc(r_0009_0002__father,r_0009_0001__My,gen).
arc(r_0009_0003__is_r_0009_0004__on,r_0009_0002__father,arg0).
arc(r_0009_0003__is_r_0009_0004__on,r_0009_0005__shift_r_0009_0006__work,arg1).
arc(r_0009_0007__and,r_0009_0003__is_r_0009_0004__on,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_r_0009_0015__on,arg1).
arc(r_0009_0014__is_r_0009_0015__on,r_0009_0002__father,arg0).
arc(r_0009_0014__is_r_0009_0015__on,r_0009_0011__which_r_0009_0012__shift,arg1).
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_0004__ON,R_0009_0008__MICKEY,R_0009_0011__WHICH_R_0009_0012__SHIFT,R_0009_0014__IS_R_0009_0015__ON,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_0015__ON)
& r_0009_0014__is_r_0009_0015__on(R_0009_0014__IS_R_0009_0015__ON)
& has_arg1(R_0009_0014__IS_R_0009_0015__ON,R_0009_0011__WHICH_R_0009_0012__SHIFT)
& has_arg0(R_0009_0014__IS_R_0009_0015__ON,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_0004__ON)
& r_0009_0003__is_r_0009_0004__on(R_0009_0003__IS_R_0009_0004__ON)
& has_arg1(R_0009_0003__IS_R_0009_0004__ON,R_0009_0005__SHIFT_R_0009_0006__WORK)
& has_arg0(R_0009_0003__IS_R_0009_0004__ON,R_0009_0002__FATHER) ) ).