15_a_joyce_1914
Tiresome old fool!

%3 r_0015_0003__fool fool r_0015_0001__Tiresome Tiresome r_0015_0003__fool->r_0015_0001__Tiresome [attrib] r_0015_0002__old old r_0015_0003__fool->r_0015_0002__old [attrib] z_000_15_a_joyce_1914_1 z_000_15_a_joyce_1914_1->r_0015_0003__fool [nim]
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).



%3 r_0015_0003__fool fool r_0015_0001__Tiresome Tiresome r_0015_0003__fool->r_0015_0001__Tiresome [attrib] r_0015_0002__old old r_0015_0003__fool->r_0015_0002__old [attrib] z_000_15_a_joyce_1914_1 z_000_15_a_joyce_1914_1->r_0015_0003__fool [nim]
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) ) ).



n15_a_joyce_1914 n15_a_joyce_1914_5 Tiresome n15_a_joyce_1914_8 old n15_a_joyce_1914_10 fool n15_a_joyce_1914_12 ! n15_a_joyce_1914_1 FRAG n15_a_joyce_1914_2 NP n15_a_joyce_1914_1->n15_a_joyce_1914_2 n15_a_joyce_1914_11 PUNC n15_a_joyce_1914_1->n15_a_joyce_1914_11 n15_a_joyce_1914_3 ADJP n15_a_joyce_1914_2->n15_a_joyce_1914_3 n15_a_joyce_1914_6 ADJP n15_a_joyce_1914_2->n15_a_joyce_1914_6 n15_a_joyce_1914_9 N n15_a_joyce_1914_2->n15_a_joyce_1914_9 n15_a_joyce_1914_4 ADJ n15_a_joyce_1914_3->n15_a_joyce_1914_4 n15_a_joyce_1914_4->n15_a_joyce_1914_5 n15_a_joyce_1914_7 ADJ n15_a_joyce_1914_6->n15_a_joyce_1914_7 n15_a_joyce_1914_7->n15_a_joyce_1914_8 n15_a_joyce_1914_9->n15_a_joyce_1914_10 n15_a_joyce_1914_11->n15_a_joyce_1914_12
( (FRAG (NP (ADJP (ADJ Tiresome;{tiresome}))
            (ADJP (ADJ old;{old}))
            (N fool;{fool}))
        (PUNC !))
  (ID 15_a_joyce_1914))