10_a_stories_10_k58
When my father is on night shift he comes home in the morning and under all circumstances Mickey will welcome him.
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
(IP-ADV (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 night;{night})
(N shift;{shift})))))
(NP-SBJ;{FATHER} (PRO he;{he}))
(VBP;_Ip_ comes;{come[home]})
(ADVP-CLR (ADV home;{home}))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N morning;{morning}))))
(CONJP (CONJ and;{and})
(ILYR (PP-NIM (P-ROLE under;{under})
(NP (Q all;{all})
(NS circumstances;{circumstance})))
(NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn_ welcome;{welcome})
(NP-OB1;{FATHER} (PRO him;{he}))))))
(PUNC .))
(ID 10_a_stories_10_k58))
arc(r_0010_0001__When,r_0010_0004__is_r_0010_0005__on,restriction).
arc(r_0010_0001__When,r_0010_0009__comes_r_0010_0010__home,scope).
arc(r_0010_0003__father,r_0010_0002__my,gen).
arc(r_0010_0004__is_r_0010_0005__on,r_0010_0003__father,arg0).
arc(r_0010_0004__is_r_0010_0005__on,r_0010_0006__night_r_0010_0007__shift,arg1).
arc(r_0010_0009__comes_r_0010_0010__home,r_0010_0003__father,arg0).
arc(r_0010_0009__comes_r_0010_0010__home,r_0010_0012__the_r_0010_0013__morning,r_0010_0011__in__nim).
arc(r_0010_0014__and,r_0010_0001__When,conj1).
arc(r_0010_0014__and,r_0010_0016__all__quant,conj2).
arc(r_0010_0016__all__quant,r_0010_0017__circumstances,restriction).
arc(r_0010_0016__all__quant,r_0010_0019__will,scope).
arc(r_0010_0019__will,r_0010_0017__circumstances,r_0010_0015__under__nim).
arc(r_0010_0019__will,r_0010_0020__welcome,scope).
arc(r_0010_0020__welcome,r_0010_0003__father,arg1).
arc(r_0010_0020__welcome,r_0010_0018__Mickey,arg0).
fof(formula,axiom,
? [R_0010_0014__AND] :
( r_0010_0014__and(R_0010_0014__AND)
& ! [R_0010_0017__CIRCUMSTANCES] :
( r_0010_0017__circumstances(R_0010_0017__CIRCUMSTANCES)
=> ? [R_0010_0002__MY,R_0010_0003__FATHER,R_0010_0018__MICKEY,R_0010_0019__WILL_R_0010_0020__WELCOME] :
( r_0010_0002__my(R_0010_0002__MY)
& r_0010_0018__Mickey(R_0010_0018__MICKEY)
& r_0010_0019__will_r_0010_0020__welcome(R_0010_0019__WILL_R_0010_0020__WELCOME)
& has_arg0(R_0010_0019__WILL_R_0010_0020__WELCOME,R_0010_0018__MICKEY)
& has_arg1(R_0010_0019__WILL_R_0010_0020__WELCOME,R_0010_0003__FATHER)
& r_0010_0003__father(R_0010_0003__FATHER)
& has_gen(R_0010_0003__FATHER,R_0010_0002__MY)
& has_r_0010_0015__under__nim(R_0010_0019__WILL_R_0010_0020__WELCOME,R_0010_0017__CIRCUMSTANCES) ) )
& ! [R_0010_0004__IS_R_0010_0005__ON,R_0010_0002__MY,R_0010_0003__FATHER,R_0010_0006__NIGHT_R_0010_0007__SHIFT] :
( ( r_0010_0002__my(R_0010_0002__MY)
& r_0010_0006__night_r_0010_0007__shift(R_0010_0006__NIGHT_R_0010_0007__SHIFT)
& r_0010_0004__is_r_0010_0005__on(R_0010_0004__IS_R_0010_0005__ON)
& has_arg1(R_0010_0004__IS_R_0010_0005__ON,R_0010_0006__NIGHT_R_0010_0007__SHIFT)
& has_arg0(R_0010_0004__IS_R_0010_0005__ON,R_0010_0003__FATHER)
& r_0010_0003__father(R_0010_0003__FATHER)
& has_gen(R_0010_0003__FATHER,R_0010_0002__MY) )
=> ? [R_0010_0012__THE_R_0010_0013__MORNING,R_0010_0009__COMES_R_0010_0010__HOME] :
( r_0010_0012__the_r_0010_0013__morning(R_0010_0012__THE_R_0010_0013__MORNING)
& r_0010_0009__comes_r_0010_0010__home(R_0010_0009__COMES_R_0010_0010__HOME)
& has_r_0010_0011__in__nim(R_0010_0009__COMES_R_0010_0010__HOME,R_0010_0012__THE_R_0010_0013__MORNING)
& has_arg0(R_0010_0009__COMES_R_0010_0010__HOME,R_0010_0003__FATHER) ) ) ) ).