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_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_r_0010_0020__welcome will welcome r_0010_0016__all_quant->r_0010_0019__will_r_0010_0020__welcome [scope] r_0010_0019__will_r_0010_0020__welcome->r_0010_0003__father [arg1] r_0010_0019__will_r_0010_0020__welcome->r_0010_0017__circumstances under [nim] r_0010_0018__Mickey Mickey r_0010_0019__will_r_0010_0020__welcome->r_0010_0018__Mickey [arg0] 
fof(formula,axiom,
    ? [R_10_14_AND] :
      ( ! [R_10_17_CIRCUMSTANCES] :
          ( circumstances(R_10_17_CIRCUMSTANCES)
         => ? [R_10_19_WILL_WELCOME,R_10_18_MICKEY,R_10_3_FATHER,R_10_2_MY] :
              ( mickey(R_10_18_MICKEY)
              & my(R_10_2_MY)
              & will_welcome(R_10_19_WILL_WELCOME,R_10_18_MICKEY,R_10_3_FATHER)
              & father(R_10_3_FATHER)
              & gen(R_10_3_FATHER,R_10_2_MY)
              & under_nim47(R_10_19_WILL_WELCOME,R_10_17_CIRCUMSTANCES) ) )
      & conj2(CONJ2)
      & ! [R_10_4_IS,R_10_3_FATHER,R_10_2_MY,R_10_6_NIGHT_SHIFT] :
          ( ( my(R_10_2_MY)
            & night_shift(R_10_6_NIGHT_SHIFT)
            & is(R_10_4_IS,R_10_3_FATHER)
            & father(R_10_3_FATHER)
            & gen(R_10_3_FATHER,R_10_2_MY)
            & on_clr19(R_10_4_IS,R_10_6_NIGHT_SHIFT) )
         => ? [R_10_9_COMES,R_10_10_HOME,R_10_12_THE_MORNING] :
              ( home(R_10_10_HOME)
              & the_morning(R_10_12_THE_MORNING)
              & comes(R_10_9_COMES,R_10_3_FATHER)
              & clr29(R_10_9_COMES,R_10_10_HOME)
              & in_nim35(R_10_9_COMES,R_10_12_THE_MORNING) ) )
      & conj1(CONJ1)
      & and(R_10_14_AND) ) ).


n10_a_stories_10_k58 n10_a_stories_10_k58_6 When n10_a_stories_10_k58_11 my n10_a_stories_10_k58_13 father n10_a_stories_10_k58_15 is n10_a_stories_10_k58_18 on n10_a_stories_10_k58_21 night n10_a_stories_10_k58_23 shift n10_a_stories_10_k58_26 he n10_a_stories_10_k58_28 comes n10_a_stories_10_k58_31 home n10_a_stories_10_k58_34 in n10_a_stories_10_k58_37 the n10_a_stories_10_k58_39 morning n10_a_stories_10_k58_42 and n10_a_stories_10_k58_46 under n10_a_stories_10_k58_49 all n10_a_stories_10_k58_51 circumstances n10_a_stories_10_k58_54 Mickey n10_a_stories_10_k58_56 will n10_a_stories_10_k58_59 welcome n10_a_stories_10_k58_62 him n10_a_stories_10_k58_64 . n10_a_stories_10_k58_1 IP-MAT n10_a_stories_10_k58_2 ILYR n10_a_stories_10_k58_1->n10_a_stories_10_k58_2 n10_a_stories_10_k58_63 PUNC n10_a_stories_10_k58_1->n10_a_stories_10_k58_63 n10_a_stories_10_k58_3 ILYR n10_a_stories_10_k58_2->n10_a_stories_10_k58_3 n10_a_stories_10_k58_40 CONJP n10_a_stories_10_k58_2->n10_a_stories_10_k58_40 n10_a_stories_10_k58_4 PP-SCON n10_a_stories_10_k58_3->n10_a_stories_10_k58_4 n10_a_stories_10_k58_24 NP-SBJ n10_a_stories_10_k58_3->n10_a_stories_10_k58_24 n10_a_stories_10_k58_27 VBP;_Ip_ n10_a_stories_10_k58_3->n10_a_stories_10_k58_27 n10_a_stories_10_k58_29 ADVP-CLR n10_a_stories_10_k58_3->n10_a_stories_10_k58_29 n10_a_stories_10_k58_32 PP-NIM n10_a_stories_10_k58_3->n10_a_stories_10_k58_32 n10_a_stories_10_k58_5 P-CONN n10_a_stories_10_k58_4->n10_a_stories_10_k58_5 n10_a_stories_10_k58_7 IP-ADV n10_a_stories_10_k58_4->n10_a_stories_10_k58_7 n10_a_stories_10_k58_5->n10_a_stories_10_k58_6 n10_a_stories_10_k58_8 NP-SBJ n10_a_stories_10_k58_7->n10_a_stories_10_k58_8 n10_a_stories_10_k58_14 BEP;_Ipr_ n10_a_stories_10_k58_7->n10_a_stories_10_k58_14 n10_a_stories_10_k58_16 PP-CLR n10_a_stories_10_k58_7->n10_a_stories_10_k58_16 n10_a_stories_10_k58_9 NP-GEN n10_a_stories_10_k58_8->n10_a_stories_10_k58_9 n10_a_stories_10_k58_12 N n10_a_stories_10_k58_8->n10_a_stories_10_k58_12 n10_a_stories_10_k58_10 PRO;_genm_ n10_a_stories_10_k58_9->n10_a_stories_10_k58_10 n10_a_stories_10_k58_10->n10_a_stories_10_k58_11 n10_a_stories_10_k58_12->n10_a_stories_10_k58_13 n10_a_stories_10_k58_14->n10_a_stories_10_k58_15 n10_a_stories_10_k58_17 P-ROLE n10_a_stories_10_k58_16->n10_a_stories_10_k58_17 n10_a_stories_10_k58_19 NP n10_a_stories_10_k58_16->n10_a_stories_10_k58_19 n10_a_stories_10_k58_17->n10_a_stories_10_k58_18 n10_a_stories_10_k58_20 N n10_a_stories_10_k58_19->n10_a_stories_10_k58_20 n10_a_stories_10_k58_22 N n10_a_stories_10_k58_19->n10_a_stories_10_k58_22 n10_a_stories_10_k58_20->n10_a_stories_10_k58_21 n10_a_stories_10_k58_22->n10_a_stories_10_k58_23 n10_a_stories_10_k58_25 PRO n10_a_stories_10_k58_24->n10_a_stories_10_k58_25 n10_a_stories_10_k58_25->n10_a_stories_10_k58_26 n10_a_stories_10_k58_27->n10_a_stories_10_k58_28 n10_a_stories_10_k58_30 ADV n10_a_stories_10_k58_29->n10_a_stories_10_k58_30 n10_a_stories_10_k58_30->n10_a_stories_10_k58_31 n10_a_stories_10_k58_33 P-ROLE n10_a_stories_10_k58_32->n10_a_stories_10_k58_33 n10_a_stories_10_k58_35 NP n10_a_stories_10_k58_32->n10_a_stories_10_k58_35 n10_a_stories_10_k58_33->n10_a_stories_10_k58_34 n10_a_stories_10_k58_36 D n10_a_stories_10_k58_35->n10_a_stories_10_k58_36 n10_a_stories_10_k58_38 N n10_a_stories_10_k58_35->n10_a_stories_10_k58_38 n10_a_stories_10_k58_36->n10_a_stories_10_k58_37 n10_a_stories_10_k58_38->n10_a_stories_10_k58_39 n10_a_stories_10_k58_41 CONJ n10_a_stories_10_k58_40->n10_a_stories_10_k58_41 n10_a_stories_10_k58_43 ILYR n10_a_stories_10_k58_40->n10_a_stories_10_k58_43 n10_a_stories_10_k58_41->n10_a_stories_10_k58_42 n10_a_stories_10_k58_44 PP-TPC-NIM n10_a_stories_10_k58_43->n10_a_stories_10_k58_44 n10_a_stories_10_k58_52 NP-SBJ n10_a_stories_10_k58_43->n10_a_stories_10_k58_52 n10_a_stories_10_k58_55 MD;_cat_Vi_ n10_a_stories_10_k58_43->n10_a_stories_10_k58_55 n10_a_stories_10_k58_57 IP-INF-CAT n10_a_stories_10_k58_43->n10_a_stories_10_k58_57 n10_a_stories_10_k58_45 P-ROLE n10_a_stories_10_k58_44->n10_a_stories_10_k58_45 n10_a_stories_10_k58_47 NP n10_a_stories_10_k58_44->n10_a_stories_10_k58_47 n10_a_stories_10_k58_45->n10_a_stories_10_k58_46 n10_a_stories_10_k58_48 Q n10_a_stories_10_k58_47->n10_a_stories_10_k58_48 n10_a_stories_10_k58_50 NS n10_a_stories_10_k58_47->n10_a_stories_10_k58_50 n10_a_stories_10_k58_48->n10_a_stories_10_k58_49 n10_a_stories_10_k58_50->n10_a_stories_10_k58_51 n10_a_stories_10_k58_53 NPR n10_a_stories_10_k58_52->n10_a_stories_10_k58_53 n10_a_stories_10_k58_53->n10_a_stories_10_k58_54 n10_a_stories_10_k58_55->n10_a_stories_10_k58_56 n10_a_stories_10_k58_58 VB;_Tn_ n10_a_stories_10_k58_57->n10_a_stories_10_k58_58 n10_a_stories_10_k58_60 NP-OB1 n10_a_stories_10_k58_57->n10_a_stories_10_k58_60 n10_a_stories_10_k58_58->n10_a_stories_10_k58_59 n10_a_stories_10_k58_61 PRO n10_a_stories_10_k58_60->n10_a_stories_10_k58_61 n10_a_stories_10_k58_61->n10_a_stories_10_k58_62 n10_a_stories_10_k58_63->n10_a_stories_10_k58_64 
( (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-TPC-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))