184_a_joyce_1914
They looked high up and low down; and still they couldn't see a sight of him anywhere.
arc(r_0184_0002__looked, r_0184_0001__They, arg0).
arc(r_0184_0002__looked, r_0184_0005__and, nim9).
arc(r_0184_0004__up, r_0184_0003__high, qual12).
arc(r_0184_0005__and, r_0184_0004__up, conj1).
arc(r_0184_0005__and, r_0184_0007__down, conj2).
arc(r_0184_0007__down, r_0184_0006__low, qual21).
arc(r_0184_0009__and, r_0184_0002__looked, conj1).
arc(r_0184_0009__and, r_0184_0013__n_apos_t, conj2).
arc(r_0184_0012__could, r_0184_0010__still, nim32).
arc(r_0184_0012__could, r_0184_0014__see, scope).
arc(r_0184_0013__n_apos_t, r_0184_0012__could, keep_scope).
arc(r_0184_0014__see, r_0184_0011__they, arg0).
arc(r_0184_0014__see, r_0184_0015__a_r_0184_0016__sight, arg1).
arc(r_0184_0014__see, r_0184_0019__anywhere, nim56).
arc(r_0184_0015__a_r_0184_0016__sight, r_0184_0018__him, r_0184_0017__of).
fof(formula,axiom,
? [R_184_9_AND,R_184_2_LOOKED,R_184_1_THEY,R_184_5_AND,R_184_4_UP,R_184_3_HIGH,R_184_7_DOWN,R_184_6_LOW] :
( they(R_184_1_THEY)
& high(R_184_3_HIGH)
& low(R_184_6_LOW)
& and(R_184_9_AND)
& conj1(R_184_9_AND,R_184_2_LOOKED)
& looked(R_184_2_LOOKED,R_184_1_THEY)
& nim9(R_184_2_LOOKED,R_184_5_AND)
& and(R_184_5_AND)
& conj1(R_184_5_AND,R_184_4_UP)
& up(R_184_4_UP)
& qual12(R_184_4_UP,R_184_3_HIGH)
& conj2(R_184_5_AND,R_184_7_DOWN)
& down(R_184_7_DOWN)
& qual21(R_184_7_DOWN,R_184_6_LOW)
& conj2(R_184_9_AND,R_184_13_N_APOS_T)
& ~ ? [R_184_12_COULD_SEE,R_184_11_THEY,R_184_15_A_SIGHT,R_184_18_HIM,R_184_10_STILL,R_184_19_ANYWHERE] :
( they(R_184_11_THEY)
& him(R_184_18_HIM)
& still(R_184_10_STILL)
& anywhere(R_184_19_ANYWHERE)
& could_see(R_184_12_COULD_SEE,R_184_11_THEY,R_184_15_A_SIGHT)
& a_sight(R_184_15_A_SIGHT)
& of(R_184_15_A_SIGHT,R_184_18_HIM)
& nim32(R_184_12_COULD_SEE,R_184_10_STILL)
& nim56(R_184_12_COULD_SEE,R_184_19_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 184_a_joyce_1914))