183_a_joyce_1914
They looked high up and low down; and still they couldn't see a sight of him anywhere.
( (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) ) ).