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).

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) ) ).

( (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))