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

arc(r_0182_0005__was,r_0182_0001__So,nim).
arc(r_0182_0005__was,r_0182_0002__one_r_0182_0003__night,nim).
arc(r_0182_0005__was,r_0182_0006__wanted_r_0182_0007__for,scope).
arc(r_0182_0006__wanted_r_0182_0007__for,r_0182_0004__he,arg1).
arc(r_0182_0006__wanted_r_0182_0007__for,z_0182_5008___star_,arg0).
arc(r_0182_0009__go_r_0182_0010__on,r_0182_0004__he,arg0).
arc(r_0182_0009__go_r_0182_0010__on,r_0182_0011__a_r_0182_0012__call,arg1).
arc(r_0182_0013__and,r_0182_0016__n_apos_t,conj2).
arc(r_0182_0013__and,z_0182_5003,conj1).
arc(r_0182_0015__could,r_0182_0017__find,scope).
arc(r_0182_0016__n_apos_t,r_0182_0015__could,keep_scope).
arc(r_0182_0017__find,r_0182_0004__he,arg1).
arc(r_0182_0017__find,r_0182_0014__they,arg0).
arc(r_0182_0017__find,r_0182_0019__anywhere,nim).
arc(z_0182_5003,r_0182_0005__was,scope).
arc(z_0182_5003,r_0182_0009__go_r_0182_0010__on,restriction).

fof(formula,axiom,
    ? [R_0182_0001__SO,R_0182_0002__ONE_R_0182_0003__NIGHT,R_0182_0004__HE,Z_0182_5008___STAR_,R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR,R_0182_0011__A_R_0182_0012__CALL,R_0182_0009__GO_R_0182_0010__ON,Z_0182_5003,R_0182_0013__AND] :
      ( r_0182_0001__So(R_0182_0001__SO)
      & r_0182_0002__one_r_0182_0003__night(R_0182_0002__ONE_R_0182_0003__NIGHT)
      & r_0182_0004__he(R_0182_0004__HE)
      & r_0182_0011__a_r_0182_0012__call(R_0182_0011__A_R_0182_0012__CALL)
      & z_0182_5008___star_(Z_0182_5008___STAR_)
      & r_0182_0013__and(R_0182_0013__AND)
      & has_conj1(R_0182_0013__AND,Z_0182_5003)
      & z_0182_5003(Z_0182_5003)
      & has_conj1(Z_0182_5003,R_0182_0009__GO_R_0182_0010__ON)
      & r_0182_0009__go_r_0182_0010__on(R_0182_0009__GO_R_0182_0010__ON)
      & has_arg1(R_0182_0009__GO_R_0182_0010__ON,R_0182_0011__A_R_0182_0012__CALL)
      & has_arg0(R_0182_0009__GO_R_0182_0010__ON,R_0182_0004__HE)
      & has_conj2(Z_0182_5003,R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR)
      & r_0182_0005__was_r_0182_0006__wanted_r_0182_0007__for(R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR)
      & has_arg0(R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR,Z_0182_5008___STAR_)
      & has_arg1(R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR,R_0182_0004__HE)
      & has_nim(R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR,R_0182_0002__ONE_R_0182_0003__NIGHT)
      & has_nim(R_0182_0005__WAS_R_0182_0006__WANTED_R_0182_0007__FOR,R_0182_0001__SO)
      & has_conj2(R_0182_0013__AND,R_0182_0016__N_APOS_T)
      & ~ ? [R_0182_0014__THEY,R_0182_0019__ANYWHERE,R_0182_0015__COULD_R_0182_0017__FIND] :
            ( r_0182_0014__they(R_0182_0014__THEY)
            & r_0182_0019__anywhere(R_0182_0019__ANYWHERE)
            & r_0182_0015__could_r_0182_0017__find(R_0182_0015__COULD_R_0182_0017__FIND)
            & has_nim(R_0182_0015__COULD_R_0182_0017__FIND,R_0182_0019__ANYWHERE)
            & has_arg0(R_0182_0015__COULD_R_0182_0017__FIND,R_0182_0014__THEY)
            & has_arg1(R_0182_0015__COULD_R_0182_0017__FIND,R_0182_0004__HE) ) ) ).