( (IP-MAT (ILYR (ILYR (NP-SBJ;{PERSONS} (PRO They;{they}))
                      (VBD;_I_ looked;{look})
                      (ADVP-NIM (AVLYR (AVLYR (ADVP (ADV high;{high}))
                                              (ADV up;{up}))
                                       (CONJP (CONJ and;{and})
                                              (AVLYR (ADVP (ADV low;{low}))
                                                     (RP down;{down}))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV still;{still}))
                             (NP-SBJ;{PERSONS} (PRO they;{they}))
                             (MD;_cat_Vi_ could;{can})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-INF-CAT (VB;_Tn_ see;{see})
                                         (NP-OB1 (D a;{a})
                                                 (N sight;{sight})
                                                 (PP (P-ROLE of;{of})
                                                     (NP;{PRIEST} (PRO him;{he}))))
                                         (ADVP-NIM (ADV anywhere;{anywhere}))))))
          (PUNC .))
  (ID 183_a_joyce_1914))

arc(r_0183_0002__looked,r_0183_0001__They,arg0).
arc(r_0183_0002__looked,r_0183_0005__and,nim).
arc(r_0183_0004__up,r_0183_0003__high,qual).
arc(r_0183_0005__and,r_0183_0004__up,conj1).
arc(r_0183_0005__and,r_0183_0007__down,conj2).
arc(r_0183_0007__down,r_0183_0006__low,qual).
arc(r_0183_0009__and,r_0183_0002__looked,conj1).
arc(r_0183_0009__and,r_0183_0013__n_apos_t,conj2).
arc(r_0183_0012__could,r_0183_0010__still,nim).
arc(r_0183_0012__could,r_0183_0014__see,scope).
arc(r_0183_0013__n_apos_t,r_0183_0012__could,keep_scope).
arc(r_0183_0014__see,r_0183_0001__They,arg0).
arc(r_0183_0014__see,r_0183_0015__a_r_0183_0016__sight,arg1).
arc(r_0183_0014__see,r_0183_0019__anywhere,nim).
arc(r_0183_0015__a_r_0183_0016__sight,r_0183_0018__him,r_0183_0017__of).

fof(formula,axiom,
    ? [R_0183_0001__THEY,R_0183_0003__HIGH,R_0183_0004__UP,R_0183_0006__LOW,R_0183_0007__DOWN,R_0183_0005__AND,R_0183_0002__LOOKED,R_0183_0009__AND] :
      ( r_0183_0001__They(R_0183_0001__THEY)
      & r_0183_0003__high(R_0183_0003__HIGH)
      & r_0183_0006__low(R_0183_0006__LOW)
      & r_0183_0009__and(R_0183_0009__AND)
      & has_conj2(R_0183_0009__AND,R_0183_0013__N_APOS_T)
      & ~ ? [R_0183_0010__STILL,R_0183_0018__HIM,R_0183_0015__A_R_0183_0016__SIGHT,R_0183_0019__ANYWHERE,R_0183_0012__COULD_R_0183_0014__SEE] :
            ( r_0183_0010__still(R_0183_0010__STILL)
            & r_0183_0018__him(R_0183_0018__HIM)
            & r_0183_0019__anywhere(R_0183_0019__ANYWHERE)
            & r_0183_0012__could_r_0183_0014__see(R_0183_0012__COULD_R_0183_0014__SEE)
            & has_nim(R_0183_0012__COULD_R_0183_0014__SEE,R_0183_0019__ANYWHERE)
            & has_arg1(R_0183_0012__COULD_R_0183_0014__SEE,R_0183_0015__A_R_0183_0016__SIGHT)
            & r_0183_0015__a_r_0183_0016__sight(R_0183_0015__A_R_0183_0016__SIGHT)
            & has_r_0183_0017__of(R_0183_0015__A_R_0183_0016__SIGHT,R_0183_0018__HIM)
            & has_arg0(R_0183_0012__COULD_R_0183_0014__SEE,R_0183_0001__THEY)
            & has_nim(R_0183_0012__COULD_R_0183_0014__SEE,R_0183_0010__STILL) )
      & has_conj1(R_0183_0009__AND,R_0183_0002__LOOKED)
      & r_0183_0002__looked(R_0183_0002__LOOKED)
      & has_nim(R_0183_0002__LOOKED,R_0183_0005__AND)
      & r_0183_0005__and(R_0183_0005__AND)
      & has_conj2(R_0183_0005__AND,R_0183_0007__DOWN)
      & r_0183_0007__down(R_0183_0007__DOWN)
      & has_qual(R_0183_0007__DOWN,R_0183_0006__LOW)
      & has_conj1(R_0183_0005__AND,R_0183_0004__UP)
      & r_0183_0004__up(R_0183_0004__UP)
      & has_qual(R_0183_0004__UP,R_0183_0003__HIGH)
      & has_arg0(R_0183_0002__LOOKED,R_0183_0001__THEY) ) ).