arc(r_0024_0003__thought, r_0024_0001__At_first, nim4).
arc(r_0024_0003__thought, r_0024_0002__he, arg0).
arc(r_0024_0003__thought, r_0024_0005__was, arg1).
arc(r_0024_0005__was, r_0024_0004__it, arg0).
arc(r_0024_0005__was, r_0024_0006__water, prd).
arc(r_0024_0007__but, r_0024_0003__thought, conj1).
arc(r_0024_0007__but, r_0024_0012__realized, conj2).
arc(r_0024_0012__realized, r_0024_0009__a_r_0024_0010__moment, r_0024_0008__after_nim29).
arc(r_0024_0012__realized, r_0024_0011__he, arg0).
arc(r_0024_0012__realized, r_0024_0013__that_r_0024_0015__was, arg1).
arc(r_0024_0013__that_r_0024_0015__was, r_0024_0014__it, arg0).
arc(r_0024_0013__that_r_0024_0015__was, r_0024_0016__slag, prd).
arc(r_0024_0018__pitted, r_0024_0021__slag, arg1).
arc(r_0024_0018__pitted, z_000_24_a_dick_1952_56, arg0).
arc(r_0024_0020__fused, r_0024_0021__slag, arg1).
arc(r_0024_0020__fused, z_000_24_a_dick_1952_63, arg0).
arc(r_0024_0023__broken, r_0024_0021__slag, arg1).
arc(r_0024_0023__broken, r_0024_0024__only, nim74).
arc(r_0024_0023__broken, r_0024_0026__hills, arg0).
arc(r_0024_0026__hills, r_0024_0028__rock, r_0024_0027__of).
arc(r_0024_0029__jutting, r_0024_0026__hills, arg0).
arc(r_0024_0029__jutting, r_0024_0030__up, clr92).
arc(r_0024_0029__jutting, r_0024_0032__intervals, r_0024_0031__at_nim98).
arc(z_000_24_a_dick_1952_53, r_0024_0016__slag, arg0).
arc(z_000_24_a_dick_1952_53, r_0024_0021__slag, prd).

fof(formula,axiom,
    ? [R_0024_0001__AT_FIRST,R_0024_0002__HE,R_0024_0004__IT,R_0024_0006__WATER,R_0024_0005__WAS,R_0024_0003__THOUGHT,R_0024_0009__A_R_0024_0010__MOMENT,R_0024_0011__HE,R_0024_0014__IT,R_0024_0016__SLAG,R_0024_0013__THAT_R_0024_0015__WAS,R_0024_0012__REALIZED,R_0024_0007__BUT,R_0024_0021__SLAG,Z_000_24_A_DICK_1952_56,R_0024_0018__PITTED,Z_000_24_A_DICK_1952_63,R_0024_0020__FUSED,R_0024_0024__ONLY,R_0024_0028__ROCK,R_0024_0026__HILLS,R_0024_0023__BROKEN,R_0024_0030__UP,R_0024_0032__INTERVALS,R_0024_0029__JUTTING,Z_000_24_A_DICK_1952_53] :
      ( r_0024_0001__At_first(R_0024_0001__AT_FIRST)
      & r_0024_0002__he(R_0024_0002__HE)
      & r_0024_0004__it(R_0024_0004__IT)
      & r_0024_0006__water(R_0024_0006__WATER)
      & r_0024_0009__a_r_0024_0010__moment(R_0024_0009__A_R_0024_0010__MOMENT)
      & r_0024_0011__he(R_0024_0011__HE)
      & r_0024_0014__it(R_0024_0014__IT)
      & r_0024_0016__slag(R_0024_0016__SLAG)
      & r_0024_0021__slag(R_0024_0021__SLAG)
      & r_0024_0024__only(R_0024_0024__ONLY)
      & r_0024_0028__rock(R_0024_0028__ROCK)
      & r_0024_0030__up(R_0024_0030__UP)
      & r_0024_0032__intervals(R_0024_0032__INTERVALS)
      & z_000_24_a_dick_1952_56(Z_000_24_A_DICK_1952_56)
      & z_000_24_a_dick_1952_63(Z_000_24_A_DICK_1952_63)
      & z_000_24_a_dick_1952_53(Z_000_24_A_DICK_1952_53)
      & has_prd(Z_000_24_A_DICK_1952_53,R_0024_0021__SLAG)
      & has_arg0(Z_000_24_A_DICK_1952_53,R_0024_0016__SLAG)
      & r_0024_0029__jutting(R_0024_0029__JUTTING)
      & has_r_0024_0031__at_nim98(R_0024_0029__JUTTING,R_0024_0032__INTERVALS)
      & has_clr92(R_0024_0029__JUTTING,R_0024_0030__UP)
      & has_arg0(R_0024_0029__JUTTING,R_0024_0026__HILLS)
      & r_0024_0026__hills(R_0024_0026__HILLS)
      & has_r_0024_0027__of(R_0024_0026__HILLS,R_0024_0028__ROCK)
      & r_0024_0023__broken(R_0024_0023__BROKEN)
      & has_arg0(R_0024_0023__BROKEN,R_0024_0026__HILLS)
      & has_nim74(R_0024_0023__BROKEN,R_0024_0024__ONLY)
      & has_arg1(R_0024_0023__BROKEN,R_0024_0021__SLAG)
      & r_0024_0020__fused(R_0024_0020__FUSED)
      & has_arg0(R_0024_0020__FUSED,Z_000_24_A_DICK_1952_63)
      & has_arg1(R_0024_0020__FUSED,R_0024_0021__SLAG)
      & r_0024_0018__pitted(R_0024_0018__PITTED)
      & has_arg0(R_0024_0018__PITTED,Z_000_24_A_DICK_1952_56)
      & has_arg1(R_0024_0018__PITTED,R_0024_0021__SLAG)
      & r_0024_0007__but(R_0024_0007__BUT)
      & has_conj2(R_0024_0007__BUT,R_0024_0012__REALIZED)
      & r_0024_0012__realized(R_0024_0012__REALIZED)
      & has_arg1(R_0024_0012__REALIZED,R_0024_0013__THAT_R_0024_0015__WAS)
      & r_0024_0013__that_r_0024_0015__was(R_0024_0013__THAT_R_0024_0015__WAS)
      & has_prd(R_0024_0013__THAT_R_0024_0015__WAS,R_0024_0016__SLAG)
      & has_arg0(R_0024_0013__THAT_R_0024_0015__WAS,R_0024_0014__IT)
      & has_arg0(R_0024_0012__REALIZED,R_0024_0011__HE)
      & has_r_0024_0008__after_nim29(R_0024_0012__REALIZED,R_0024_0009__A_R_0024_0010__MOMENT)
      & has_conj1(R_0024_0007__BUT,R_0024_0003__THOUGHT)
      & r_0024_0003__thought(R_0024_0003__THOUGHT)
      & has_arg1(R_0024_0003__THOUGHT,R_0024_0005__WAS)
      & r_0024_0005__was(R_0024_0005__WAS)
      & has_prd(R_0024_0005__WAS,R_0024_0006__WATER)
      & has_arg0(R_0024_0005__WAS,R_0024_0004__IT)
      & has_arg0(R_0024_0003__THOUGHT,R_0024_0002__HE)
      & has_nim4(R_0024_0003__THOUGHT,R_0024_0001__AT_FIRST) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV At_first;{at_first}))
                      (NP-SBJ;{FOMAR} (PRO he;{he}))
                      (VBD;_Tf_ thought;{think})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{EXPANSE} (PRO it;{it}))
                                          (BED;_Ln_ was;{be})
                                          (NP-PRD (N water;{water})))))
                (CONJP (CONJ but;{but})
                       (ILYR (PP-NIM (P-ROLE after;{after})
                                     (NP (D a;{a})
                                         (N moment;{moment})))
                             (NP-SBJ;{FOMAR} (PRO he;{he}))
                             (VBD;_Tf_ realized;{realize})
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ;{EXPANSE} (PRO it;{it}))
                                                 (BED;_Ln_ was;{be})
                                                 (NP-PRD (N slag;{slag})
                                                         (PUNC ,)
                                                         (IP-PPL (NP-PRD (IP-PPL (NP-LGS *)
                                                                                 (VVN;_Tn_ pitted;{pit}))
                                                                         (PUNC ,)
                                                                         (IP-PPL (NP-LGS *)
                                                                                 (VVN;_Tn_ fused;{fuse}))
                                                                         (N slag;{slag})
                                                                         (PUNC ,)
                                                                         (IP-PPL (VVN;_Tn_ broken;{break})
                                                                                 (ADVP-NIM (ADV only;{only}))
                                                                                 (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                         (NP (NS hills;{hill})
                                                                                             (PP (P-ROLE of;{of})
                                                                                                 (NP (N rock;{rock})))
                                                                                             (IP-PPL (VAG;_Ip_ jutting;{jut[up]})
                                                                                                     (ADVP-CLR (RP up;{up}))
                                                                                                     (PP-NIM (P-ROLE at;{at})
                                                                                                             (NP (NS intervals;{interval})))))))))))))))
          (PUNC .))
  (ID 24_a_dick_1952))