183_a_joyce_1914
So one night he was wanted for to go on a call and they couldn't find him anywhere.

%3 r_0183_0005__was was r_0183_0001__So So r_0183_0005__was->r_0183_0001__So [nim] r_0183_0002__one_r_0183_0003__night one night r_0183_0005__was->r_0183_0002__one_r_0183_0003__night [nim] r_0183_0006__wanted wanted r_0183_0005__was->r_0183_0006__wanted [scope] r_0183_0004__he he r_0183_0006__wanted->r_0183_0004__he [arg1] z_000_183_a_joyce_1914_18 r_0183_0006__wanted->z_000_183_a_joyce_1914_18 [arg0] r_0183_0008__to_r_0183_0009__go to go r_0183_0008__to_r_0183_0009__go->r_0183_0004__he [arg0] r_0183_0011__a_r_0183_0012__call a call r_0183_0008__to_r_0183_0009__go->r_0183_0011__a_r_0183_0012__call on [clr] r_0183_0013__and and r_0183_0016__n_apos_t n't r_0183_0013__and->r_0183_0016__n_apos_t [conj2] z_000_183_a_joyce_1914_25 r_0183_0013__and->z_000_183_a_joyce_1914_25 [conj1] r_0183_0015__could could r_0183_0016__n_apos_t->r_0183_0015__could [keep_scope] z_000_183_a_joyce_1914_25->r_0183_0005__was [scope] z_000_183_a_joyce_1914_25->r_0183_0008__to_r_0183_0009__go [restriction] r_0183_0017__find find r_0183_0015__could->r_0183_0017__find [scope] r_0183_0014__they they r_0183_0017__find->r_0183_0014__they [arg0] r_0183_0018__him him r_0183_0017__find->r_0183_0018__him [arg1] r_0183_0019__anywhere anywhere r_0183_0017__find->r_0183_0019__anywhere [nim]
arc(r_0183_0005__was, r_0183_0001__So, nim4).
arc(r_0183_0005__was, r_0183_0002__one_r_0183_0003__night, nim7).
arc(r_0183_0005__was, r_0183_0006__wanted, scope).
arc(r_0183_0006__wanted, r_0183_0004__he, arg1).
arc(r_0183_0006__wanted, z_000_183_a_joyce_1914_18, arg0).
arc(r_0183_0008__to_r_0183_0009__go, r_0183_0004__he, arg0).
arc(r_0183_0008__to_r_0183_0009__go, r_0183_0011__a_r_0183_0012__call, r_0183_0010__on_clr34).
arc(r_0183_0013__and, r_0183_0016__n_apos_t, conj2).
arc(r_0183_0013__and, z_000_183_a_joyce_1914_25, conj1).
arc(r_0183_0015__could, r_0183_0017__find, scope).
arc(r_0183_0016__n_apos_t, r_0183_0015__could, keep_scope).
arc(r_0183_0017__find, r_0183_0014__they, arg0).
arc(r_0183_0017__find, r_0183_0018__him, arg1).
arc(r_0183_0017__find, r_0183_0019__anywhere, nim56).
arc(z_000_183_a_joyce_1914_25, r_0183_0005__was, scope).
arc(z_000_183_a_joyce_1914_25, r_0183_0008__to_r_0183_0009__go, restriction).



%3 r_0183_0005__was_r_0183_0006__wanted was wanted r_0183_0001__So So r_0183_0005__was_r_0183_0006__wanted->r_0183_0001__So [nim] r_0183_0002__one_r_0183_0003__night one night r_0183_0005__was_r_0183_0006__wanted->r_0183_0002__one_r_0183_0003__night [nim] r_0183_0004__he he r_0183_0005__was_r_0183_0006__wanted->r_0183_0004__he [arg1] z_000_183_a_joyce_1914_18 r_0183_0005__was_r_0183_0006__wanted->z_000_183_a_joyce_1914_18 [arg0] r_0183_0008__to_r_0183_0009__go to go r_0183_0008__to_r_0183_0009__go->r_0183_0004__he [arg0] r_0183_0011__a_r_0183_0012__call a call r_0183_0008__to_r_0183_0009__go->r_0183_0011__a_r_0183_0012__call on [clr] r_0183_0013__and and r_0183_0016__n_apos_t n't r_0183_0013__and->r_0183_0016__n_apos_t [conj2] z_000_183_a_joyce_1914_25 r_0183_0013__and->z_000_183_a_joyce_1914_25 [conj1] r_0183_0015__could_r_0183_0017__find could find r_0183_0016__n_apos_t->r_0183_0015__could_r_0183_0017__find [keep_scope] z_000_183_a_joyce_1914_25->r_0183_0005__was_r_0183_0006__wanted [conj2] z_000_183_a_joyce_1914_25->r_0183_0008__to_r_0183_0009__go [conj1] r_0183_0014__they they r_0183_0015__could_r_0183_0017__find->r_0183_0014__they [arg0] r_0183_0018__him him r_0183_0015__could_r_0183_0017__find->r_0183_0018__him [arg1] r_0183_0019__anywhere anywhere r_0183_0015__could_r_0183_0017__find->r_0183_0019__anywhere [nim]
fof(formula,axiom,
    ? [R_183_13_AND,Z_183_A_JOYCE_1914_25,R_183_8_TO_GO,R_183_11_A_CALL,R_183_5_WAS_WANTED,Z_183_A_JOYCE_1914_18,R_183_4_HE,R_183_1_SO,R_183_2_ONE_NIGHT] :
      ( a_call(R_183_11_A_CALL)
      & he(R_183_4_HE)
      & so(R_183_1_SO)
      & one_night(R_183_2_ONE_NIGHT)
      & and(R_183_13_AND)
      & conj1(R_183_13_AND,Z_183_A_JOYCE_1914_25)
      & z_183_a_joyce_1914_25(Z_183_A_JOYCE_1914_25)
      & conj1(Z_183_A_JOYCE_1914_25,R_183_8_TO_GO)
      & to_go(R_183_8_TO_GO,R_183_4_HE)
      & on_clr34(R_183_8_TO_GO,R_183_11_A_CALL)
      & conj2(Z_183_A_JOYCE_1914_25,R_183_5_WAS_WANTED)
      & was_wanted(R_183_5_WAS_WANTED,Z_183_A_JOYCE_1914_18,R_183_4_HE)
      & nim4(R_183_5_WAS_WANTED,R_183_1_SO)
      & nim7(R_183_5_WAS_WANTED,R_183_2_ONE_NIGHT)
      & conj2(R_183_13_AND,R_183_16_N_APOS_T)
      & ~ ? [R_183_15_COULD_FIND,R_183_14_THEY,R_183_18_HIM,R_183_19_ANYWHERE] :
            ( they(R_183_14_THEY)
            & him(R_183_18_HIM)
            & anywhere(R_183_19_ANYWHERE)
            & could_find(R_183_15_COULD_FIND,R_183_14_THEY,R_183_18_HIM)
            & nim56(R_183_15_COULD_FIND,R_183_19_ANYWHERE) ) ) ).



n183_a_joyce_1914 n183_a_joyce_1914_6 So n183_a_joyce_1914_9 one n183_a_joyce_1914_11 night n183_a_joyce_1914_14 he n183_a_joyce_1914_16 was n183_a_joyce_1914_19 * n183_a_joyce_1914_21 wanted n183_a_joyce_1914_24 for n183_a_joyce_1914_28 to n183_a_joyce_1914_30 go n183_a_joyce_1914_33 on n183_a_joyce_1914_36 a n183_a_joyce_1914_38 call n183_a_joyce_1914_41 and n183_a_joyce_1914_45 they n183_a_joyce_1914_47 could n183_a_joyce_1914_49 n't n183_a_joyce_1914_52 find n183_a_joyce_1914_55 him n183_a_joyce_1914_58 anywhere n183_a_joyce_1914_60 . n183_a_joyce_1914_1 IP-MAT n183_a_joyce_1914_2 ILYR n183_a_joyce_1914_1->n183_a_joyce_1914_2 n183_a_joyce_1914_59 PUNC n183_a_joyce_1914_1->n183_a_joyce_1914_59 n183_a_joyce_1914_3 ILYR n183_a_joyce_1914_2->n183_a_joyce_1914_3 n183_a_joyce_1914_39 CONJP n183_a_joyce_1914_2->n183_a_joyce_1914_39 n183_a_joyce_1914_4 ADVP-NIM n183_a_joyce_1914_3->n183_a_joyce_1914_4 n183_a_joyce_1914_7 NP-NIM n183_a_joyce_1914_3->n183_a_joyce_1914_7 n183_a_joyce_1914_12 NP-SBJ n183_a_joyce_1914_3->n183_a_joyce_1914_12 n183_a_joyce_1914_15 BED;_cat_VePASS_ n183_a_joyce_1914_3->n183_a_joyce_1914_15 n183_a_joyce_1914_17 IP-PPL-CAT n183_a_joyce_1914_3->n183_a_joyce_1914_17 n183_a_joyce_1914_25 PP-SCON n183_a_joyce_1914_3->n183_a_joyce_1914_25 n183_a_joyce_1914_5 ADV n183_a_joyce_1914_4->n183_a_joyce_1914_5 n183_a_joyce_1914_5->n183_a_joyce_1914_6 n183_a_joyce_1914_8 NUM n183_a_joyce_1914_7->n183_a_joyce_1914_8 n183_a_joyce_1914_10 N n183_a_joyce_1914_7->n183_a_joyce_1914_10 n183_a_joyce_1914_8->n183_a_joyce_1914_9 n183_a_joyce_1914_10->n183_a_joyce_1914_11 n183_a_joyce_1914_13 PRO n183_a_joyce_1914_12->n183_a_joyce_1914_13 n183_a_joyce_1914_13->n183_a_joyce_1914_14 n183_a_joyce_1914_15->n183_a_joyce_1914_16 n183_a_joyce_1914_18 NP-LGS n183_a_joyce_1914_17->n183_a_joyce_1914_18 n183_a_joyce_1914_20 VVN;_Ipr_ n183_a_joyce_1914_17->n183_a_joyce_1914_20 n183_a_joyce_1914_22 PP-CLR n183_a_joyce_1914_17->n183_a_joyce_1914_22 n183_a_joyce_1914_18->n183_a_joyce_1914_19 n183_a_joyce_1914_20->n183_a_joyce_1914_21 n183_a_joyce_1914_23 P-ROLE n183_a_joyce_1914_22->n183_a_joyce_1914_23 n183_a_joyce_1914_23->n183_a_joyce_1914_24 n183_a_joyce_1914_26 IP-INF2 n183_a_joyce_1914_25->n183_a_joyce_1914_26 n183_a_joyce_1914_27 TO n183_a_joyce_1914_26->n183_a_joyce_1914_27 n183_a_joyce_1914_29 VB;_Ipr_ n183_a_joyce_1914_26->n183_a_joyce_1914_29 n183_a_joyce_1914_31 PP-CLR n183_a_joyce_1914_26->n183_a_joyce_1914_31 n183_a_joyce_1914_27->n183_a_joyce_1914_28 n183_a_joyce_1914_29->n183_a_joyce_1914_30 n183_a_joyce_1914_32 P-ROLE n183_a_joyce_1914_31->n183_a_joyce_1914_32 n183_a_joyce_1914_34 NP n183_a_joyce_1914_31->n183_a_joyce_1914_34 n183_a_joyce_1914_32->n183_a_joyce_1914_33 n183_a_joyce_1914_35 D n183_a_joyce_1914_34->n183_a_joyce_1914_35 n183_a_joyce_1914_37 N n183_a_joyce_1914_34->n183_a_joyce_1914_37 n183_a_joyce_1914_35->n183_a_joyce_1914_36 n183_a_joyce_1914_37->n183_a_joyce_1914_38 n183_a_joyce_1914_40 CONJ n183_a_joyce_1914_39->n183_a_joyce_1914_40 n183_a_joyce_1914_42 ILYR n183_a_joyce_1914_39->n183_a_joyce_1914_42 n183_a_joyce_1914_40->n183_a_joyce_1914_41 n183_a_joyce_1914_43 NP-SBJ n183_a_joyce_1914_42->n183_a_joyce_1914_43 n183_a_joyce_1914_46 MD;_cat_Vi_ n183_a_joyce_1914_42->n183_a_joyce_1914_46 n183_a_joyce_1914_48 NEG;_clitic_ n183_a_joyce_1914_42->n183_a_joyce_1914_48 n183_a_joyce_1914_50 IP-INF-CAT n183_a_joyce_1914_42->n183_a_joyce_1914_50 n183_a_joyce_1914_44 PRO n183_a_joyce_1914_43->n183_a_joyce_1914_44 n183_a_joyce_1914_44->n183_a_joyce_1914_45 n183_a_joyce_1914_46->n183_a_joyce_1914_47 n183_a_joyce_1914_48->n183_a_joyce_1914_49 n183_a_joyce_1914_51 VB;_Tn_ n183_a_joyce_1914_50->n183_a_joyce_1914_51 n183_a_joyce_1914_53 NP-OB1 n183_a_joyce_1914_50->n183_a_joyce_1914_53 n183_a_joyce_1914_56 ADVP-NIM n183_a_joyce_1914_50->n183_a_joyce_1914_56 n183_a_joyce_1914_51->n183_a_joyce_1914_52 n183_a_joyce_1914_54 PRO n183_a_joyce_1914_53->n183_a_joyce_1914_54 n183_a_joyce_1914_54->n183_a_joyce_1914_55 n183_a_joyce_1914_57 ADV n183_a_joyce_1914_56->n183_a_joyce_1914_57 n183_a_joyce_1914_57->n183_a_joyce_1914_58 n183_a_joyce_1914_59->n183_a_joyce_1914_60
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-NIM (NUM one;{one})
                              (N night;{night}))
                      (NP-SBJ;{PRIEST} (PRO he;{he}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Ipr_ wanted;{want[for]})
                                  (PP-CLR (P-ROLE for;{for})))
                      (PP-SCON (IP-INF2 (TO to;{to})
                                        (VB;_Ipr_ go;{go[on]})
                                        (PP-CLR (P-ROLE on;{on})
                                                (NP (D a;{a})
                                                    (N call;{call}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{PERSONS} (PRO they;{they}))
                             (MD;_cat_Vi_ could;{can})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-INF-CAT (VB;_Tn_ find;{find})
                                         (NP-OB1;{PRIEST} (PRO him;{he}))
                                         (ADVP-NIM (ADV anywhere;{anywhere}))))))
          (PUNC .))
  (ID 183_a_joyce_1914))