Context                Previous, Next                Top


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.

%3 r_0010_0001__When When r_0010_0004__is is r_0010_0001__When->r_0010_0004__is [restriction] r_0010_0009__comes comes r_0010_0001__When->r_0010_0009__comes [scope] r_0010_0003__father father r_0010_0004__is->r_0010_0003__father [arg0] r_0010_0006__night_r_0010_0007__shift night shift r_0010_0004__is->r_0010_0006__night_r_0010_0007__shift on [clr] r_0010_0009__comes->r_0010_0003__father [arg0] r_0010_0010__home home r_0010_0009__comes->r_0010_0010__home [clr] r_0010_0012__the_r_0010_0013__morning the morning r_0010_0009__comes->r_0010_0012__the_r_0010_0013__morning in [nim] r_0010_0002__my my r_0010_0003__father->r_0010_0002__my [gen] r_0010_0014__and and r_0010_0014__and->r_0010_0001__When [conj1] r_0010_0016__all_quant all [quant] r_0010_0014__and->r_0010_0016__all_quant [conj2] r_0010_0017__circumstances circumstances r_0010_0016__all_quant->r_0010_0017__circumstances [restriction] r_0010_0019__will will r_0010_0016__all_quant->r_0010_0019__will [scope] r_0010_0019__will->r_0010_0017__circumstances under [nim] r_0010_0020__welcome welcome r_0010_0019__will->r_0010_0020__welcome [scope] r_0010_0020__welcome->r_0010_0003__father [arg1] r_0010_0018__Mickey Mickey r_0010_0020__welcome->r_0010_0018__Mickey [arg0] 
arc(r_0010_0001__When, r_0010_0004__is, restriction).
arc(r_0010_0001__When, r_0010_0009__comes, scope).
arc(r_0010_0003__father, r_0010_0002__my, gen).
arc(r_0010_0004__is, r_0010_0003__father, arg0).
arc(r_0010_0004__is, r_0010_0006__night_r_0010_0007__shift, r_0010_0005__on_clr19).
arc(r_0010_0009__comes, r_0010_0003__father, arg0).
arc(r_0010_0009__comes, r_0010_0010__home, clr29).
arc(r_0010_0009__comes, r_0010_0012__the_r_0010_0013__morning, r_0010_0011__in_nim35).
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_nim47).
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).


%3 r_0010_0019__will_r_0010_0020__welcome will welcome r_0010_0018__Mickey Mickey r_0010_0019__will_r_0010_0020__welcome->r_0010_0018__Mickey [arg0] r_0010_0003__father father r_0010_0019__will_r_0010_0020__welcome->r_0010_0003__father [arg1] r_0010_0017__circumstances circumstances r_0010_0019__will_r_0010_0020__welcome->r_0010_0017__circumstances under [nim] r_0010_0002__my my r_0010_0003__father->r_0010_0002__my [gen] r_0010_0016__all_quant all [quant] r_0010_0016__all_quant->r_0010_0019__will_r_0010_0020__welcome [scope] r_0010_0016__all_quant->r_0010_0017__circumstances [restriction] r_0010_0014__and and r_0010_0014__and->r_0010_0016__all_quant [conj2] r_0010_0001__When When r_0010_0014__and->r_0010_0001__When [conj1] r_0010_0009__comes comes r_0010_0001__When->r_0010_0009__comes [scope] r_0010_0004__is is r_0010_0001__When->r_0010_0004__is [restriction] r_0010_0009__comes->r_0010_0003__father [arg0] r_0010_0012__the_r_0010_0013__morning the morning r_0010_0009__comes->r_0010_0012__the_r_0010_0013__morning in [nim] r_0010_0010__home home r_0010_0009__comes->r_0010_0010__home [clr] r_0010_0004__is->r_0010_0003__father [arg0] r_0010_0006__night_r_0010_0007__shift night shift r_0010_0004__is->r_0010_0006__night_r_0010_0007__shift on [clr] 
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_nim47(R_0010_0019__WILL_R_0010_0020__WELCOME,R_0010_0017__CIRCUMSTANCES) ) )
      & ! [R_0010_0004__IS,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_0004__IS)
            & has_r_0010_0005__on_clr19(R_0010_0004__IS,R_0010_0006__NIGHT_R_0010_0007__SHIFT)
            & has_arg0(R_0010_0004__IS,R_0010_0003__FATHER)
            & r_0010_0003__father(R_0010_0003__FATHER)
            & has_gen(R_0010_0003__FATHER,R_0010_0002__MY) )
         => ? [R_0010_0010__HOME,R_0010_0012__THE_R_0010_0013__MORNING,R_0010_0009__COMES] :
              ( r_0010_0010__home(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_0009__COMES)
              & has_r_0010_0011__in_nim35(R_0010_0009__COMES,R_0010_0012__THE_R_0010_0013__MORNING)
              & has_clr29(R_0010_0009__COMES,R_0010_0010__HOME)
              & has_arg0(R_0010_0009__COMES,R_0010_0003__FATHER) ) ) ) ).


n10_a_stories_10_k58 n10_a_stories_10_k58__1_1_1_1_1_1 When n10_a_stories_10_k58__1_1_1_1_2_1_1_1_1 my n10_a_stories_10_k58__1_1_1_1_2_1_2_1 father n10_a_stories_10_k58__1_1_1_1_2_2_1 is n10_a_stories_10_k58__1_1_1_1_2_3_1_1 on n10_a_stories_10_k58__1_1_1_1_2_3_2_1_1 night n10_a_stories_10_k58__1_1_1_1_2_3_2_2_1 shift n10_a_stories_10_k58__1_1_1_2_1_1 he n10_a_stories_10_k58__1_1_1_3_1 comes n10_a_stories_10_k58__1_1_1_4_1_1 home n10_a_stories_10_k58__1_1_1_5_1_1 in n10_a_stories_10_k58__1_1_1_5_2_1_1 the n10_a_stories_10_k58__1_1_1_5_2_2_1 morning n10_a_stories_10_k58__1_1_2_1_1 and n10_a_stories_10_k58__1_1_2_2_1_1_1 under n10_a_stories_10_k58__1_1_2_2_1_2_1_1 all n10_a_stories_10_k58__1_1_2_2_1_2_2_1 circumstances n10_a_stories_10_k58__1_1_2_2_2_1_1 Mickey n10_a_stories_10_k58__1_1_2_2_3_1 will n10_a_stories_10_k58__1_1_2_2_4_1_1 welcome n10_a_stories_10_k58__1_1_2_2_4_2_1_1 him n10_a_stories_10_k58__1_2_1 . n10_a_stories_10_k58__1 IP-MAT n10_a_stories_10_k58__1_1 ILYR n10_a_stories_10_k58__1->n10_a_stories_10_k58__1_1 n10_a_stories_10_k58__1_2 PUNC n10_a_stories_10_k58__1->n10_a_stories_10_k58__1_2 n10_a_stories_10_k58__1_1_1 ILYR n10_a_stories_10_k58__1_1->n10_a_stories_10_k58__1_1_1 n10_a_stories_10_k58__1_1_2 CONJP n10_a_stories_10_k58__1_1->n10_a_stories_10_k58__1_1_2 n10_a_stories_10_k58__1_1_1_1 PP-SCON n10_a_stories_10_k58__1_1_1->n10_a_stories_10_k58__1_1_1_1 n10_a_stories_10_k58__1_1_1_2 NP-SBJ n10_a_stories_10_k58__1_1_1->n10_a_stories_10_k58__1_1_1_2 n10_a_stories_10_k58__1_1_1_3 VBP;_Ip_ n10_a_stories_10_k58__1_1_1->n10_a_stories_10_k58__1_1_1_3 n10_a_stories_10_k58__1_1_1_4 ADVP-CLR n10_a_stories_10_k58__1_1_1->n10_a_stories_10_k58__1_1_1_4 n10_a_stories_10_k58__1_1_1_5 PP-NIM n10_a_stories_10_k58__1_1_1->n10_a_stories_10_k58__1_1_1_5 n10_a_stories_10_k58__1_1_1_1_1 P-CONN n10_a_stories_10_k58__1_1_1_1->n10_a_stories_10_k58__1_1_1_1_1 n10_a_stories_10_k58__1_1_1_1_2 IP-ADV n10_a_stories_10_k58__1_1_1_1->n10_a_stories_10_k58__1_1_1_1_2 n10_a_stories_10_k58__1_1_1_1_1->n10_a_stories_10_k58__1_1_1_1_1_1 n10_a_stories_10_k58__1_1_1_1_2_1 NP-SBJ n10_a_stories_10_k58__1_1_1_1_2->n10_a_stories_10_k58__1_1_1_1_2_1 n10_a_stories_10_k58__1_1_1_1_2_2 BEP;_Ipr_ n10_a_stories_10_k58__1_1_1_1_2->n10_a_stories_10_k58__1_1_1_1_2_2 n10_a_stories_10_k58__1_1_1_1_2_3 PP-CLR n10_a_stories_10_k58__1_1_1_1_2->n10_a_stories_10_k58__1_1_1_1_2_3 n10_a_stories_10_k58__1_1_1_1_2_1_1 NP-GEN n10_a_stories_10_k58__1_1_1_1_2_1->n10_a_stories_10_k58__1_1_1_1_2_1_1 n10_a_stories_10_k58__1_1_1_1_2_1_2 N n10_a_stories_10_k58__1_1_1_1_2_1->n10_a_stories_10_k58__1_1_1_1_2_1_2 n10_a_stories_10_k58__1_1_1_1_2_1_1_1 PRO;_genm_ n10_a_stories_10_k58__1_1_1_1_2_1_1->n10_a_stories_10_k58__1_1_1_1_2_1_1_1 n10_a_stories_10_k58__1_1_1_1_2_1_1_1->n10_a_stories_10_k58__1_1_1_1_2_1_1_1_1 n10_a_stories_10_k58__1_1_1_1_2_1_2->n10_a_stories_10_k58__1_1_1_1_2_1_2_1 n10_a_stories_10_k58__1_1_1_1_2_2->n10_a_stories_10_k58__1_1_1_1_2_2_1 n10_a_stories_10_k58__1_1_1_1_2_3_1 P-ROLE n10_a_stories_10_k58__1_1_1_1_2_3->n10_a_stories_10_k58__1_1_1_1_2_3_1 n10_a_stories_10_k58__1_1_1_1_2_3_2 NP n10_a_stories_10_k58__1_1_1_1_2_3->n10_a_stories_10_k58__1_1_1_1_2_3_2 n10_a_stories_10_k58__1_1_1_1_2_3_1->n10_a_stories_10_k58__1_1_1_1_2_3_1_1 n10_a_stories_10_k58__1_1_1_1_2_3_2_1 N n10_a_stories_10_k58__1_1_1_1_2_3_2->n10_a_stories_10_k58__1_1_1_1_2_3_2_1 n10_a_stories_10_k58__1_1_1_1_2_3_2_2 N n10_a_stories_10_k58__1_1_1_1_2_3_2->n10_a_stories_10_k58__1_1_1_1_2_3_2_2 n10_a_stories_10_k58__1_1_1_1_2_3_2_1->n10_a_stories_10_k58__1_1_1_1_2_3_2_1_1 n10_a_stories_10_k58__1_1_1_1_2_3_2_2->n10_a_stories_10_k58__1_1_1_1_2_3_2_2_1 n10_a_stories_10_k58__1_1_1_2_1 PRO n10_a_stories_10_k58__1_1_1_2->n10_a_stories_10_k58__1_1_1_2_1 n10_a_stories_10_k58__1_1_1_2_1->n10_a_stories_10_k58__1_1_1_2_1_1 n10_a_stories_10_k58__1_1_1_3->n10_a_stories_10_k58__1_1_1_3_1 n10_a_stories_10_k58__1_1_1_4_1 ADV n10_a_stories_10_k58__1_1_1_4->n10_a_stories_10_k58__1_1_1_4_1 n10_a_stories_10_k58__1_1_1_4_1->n10_a_stories_10_k58__1_1_1_4_1_1 n10_a_stories_10_k58__1_1_1_5_1 P-ROLE n10_a_stories_10_k58__1_1_1_5->n10_a_stories_10_k58__1_1_1_5_1 n10_a_stories_10_k58__1_1_1_5_2 NP n10_a_stories_10_k58__1_1_1_5->n10_a_stories_10_k58__1_1_1_5_2 n10_a_stories_10_k58__1_1_1_5_1->n10_a_stories_10_k58__1_1_1_5_1_1 n10_a_stories_10_k58__1_1_1_5_2_1 D n10_a_stories_10_k58__1_1_1_5_2->n10_a_stories_10_k58__1_1_1_5_2_1 n10_a_stories_10_k58__1_1_1_5_2_2 N n10_a_stories_10_k58__1_1_1_5_2->n10_a_stories_10_k58__1_1_1_5_2_2 n10_a_stories_10_k58__1_1_1_5_2_1->n10_a_stories_10_k58__1_1_1_5_2_1_1 n10_a_stories_10_k58__1_1_1_5_2_2->n10_a_stories_10_k58__1_1_1_5_2_2_1 n10_a_stories_10_k58__1_1_2_1 CONJ n10_a_stories_10_k58__1_1_2->n10_a_stories_10_k58__1_1_2_1 n10_a_stories_10_k58__1_1_2_2 ILYR n10_a_stories_10_k58__1_1_2->n10_a_stories_10_k58__1_1_2_2 n10_a_stories_10_k58__1_1_2_1->n10_a_stories_10_k58__1_1_2_1_1 n10_a_stories_10_k58__1_1_2_2_1 PP-NIM n10_a_stories_10_k58__1_1_2_2->n10_a_stories_10_k58__1_1_2_2_1 n10_a_stories_10_k58__1_1_2_2_2 NP-SBJ n10_a_stories_10_k58__1_1_2_2->n10_a_stories_10_k58__1_1_2_2_2 n10_a_stories_10_k58__1_1_2_2_3 MD;_cat_Vi_ n10_a_stories_10_k58__1_1_2_2->n10_a_stories_10_k58__1_1_2_2_3 n10_a_stories_10_k58__1_1_2_2_4 IP-INF-CAT n10_a_stories_10_k58__1_1_2_2->n10_a_stories_10_k58__1_1_2_2_4 n10_a_stories_10_k58__1_1_2_2_1_1 P-ROLE n10_a_stories_10_k58__1_1_2_2_1->n10_a_stories_10_k58__1_1_2_2_1_1 n10_a_stories_10_k58__1_1_2_2_1_2 NP n10_a_stories_10_k58__1_1_2_2_1->n10_a_stories_10_k58__1_1_2_2_1_2 n10_a_stories_10_k58__1_1_2_2_1_1->n10_a_stories_10_k58__1_1_2_2_1_1_1 n10_a_stories_10_k58__1_1_2_2_1_2_1 Q n10_a_stories_10_k58__1_1_2_2_1_2->n10_a_stories_10_k58__1_1_2_2_1_2_1 n10_a_stories_10_k58__1_1_2_2_1_2_2 NS n10_a_stories_10_k58__1_1_2_2_1_2->n10_a_stories_10_k58__1_1_2_2_1_2_2 n10_a_stories_10_k58__1_1_2_2_1_2_1->n10_a_stories_10_k58__1_1_2_2_1_2_1_1 n10_a_stories_10_k58__1_1_2_2_1_2_2->n10_a_stories_10_k58__1_1_2_2_1_2_2_1 n10_a_stories_10_k58__1_1_2_2_2_1 NPR n10_a_stories_10_k58__1_1_2_2_2->n10_a_stories_10_k58__1_1_2_2_2_1 n10_a_stories_10_k58__1_1_2_2_2_1->n10_a_stories_10_k58__1_1_2_2_2_1_1 n10_a_stories_10_k58__1_1_2_2_3->n10_a_stories_10_k58__1_1_2_2_3_1 n10_a_stories_10_k58__1_1_2_2_4_1 VB;_Tn_ n10_a_stories_10_k58__1_1_2_2_4->n10_a_stories_10_k58__1_1_2_2_4_1 n10_a_stories_10_k58__1_1_2_2_4_2 NP-OB1 n10_a_stories_10_k58__1_1_2_2_4->n10_a_stories_10_k58__1_1_2_2_4_2 n10_a_stories_10_k58__1_1_2_2_4_1->n10_a_stories_10_k58__1_1_2_2_4_1_1 n10_a_stories_10_k58__1_1_2_2_4_2_1 PRO n10_a_stories_10_k58__1_1_2_2_4_2->n10_a_stories_10_k58__1_1_2_2_4_2_1 n10_a_stories_10_k58__1_1_2_2_4_2_1->n10_a_stories_10_k58__1_1_2_2_4_2_1_1 n10_a_stories_10_k58__1_2->n10_a_stories_10_k58__1_2_1 
( (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))