15_a_joyce_1914
Tiresome old fool!
arc(r_0015_0003__fool, r_0015_0001__Tiresome, attrib3).
arc(r_0015_0003__fool, r_0015_0002__old, attrib6).
arc(z_000_15_a_joyce_1914_1, r_0015_0003__fool, nim2).
fof(formula,axiom,
? [Z_15_A_JOYCE_1914_1,R_15_3_FOOL,R_15_1_TIRESOME,R_15_2_OLD] :
( tiresome(R_15_1_TIRESOME)
& old(R_15_2_OLD)
& z_15_a_joyce_1914_1(Z_15_A_JOYCE_1914_1)
& nim2(Z_15_A_JOYCE_1914_1,R_15_3_FOOL)
& fool(R_15_3_FOOL)
& attrib3(R_15_3_FOOL,R_15_1_TIRESOME)
& attrib6(R_15_3_FOOL,R_15_2_OLD) ) ).
( (FRAG (NP (ADJP (ADJ Tiresome;{tiresome}))
(ADJP (ADJ old;{old}))
(N fool;{fool}))
(PUNC !))
(ID 15_a_joyce_1914))