arc(r_0054_0002__a_r_0054_0004__guess, r_0054_0003__rough, attrib8).
arc(r_0054_0007__might, r_0054_0008__have, scope).
arc(r_0054_0008__have, r_0054_0009__been, scope).
arc(r_0054_0009__been, r_0054_0002__a_r_0054_0004__guess, r_0054_0001__At_nim5).
arc(r_0054_0009__been, r_0054_0006__he, arg0).
arc(r_0054_0009__been, r_0054_0011__forty_r_0054_0012__years, prd).
arc(r_0054_0011__forty_r_0054_0012__years, r_0054_0010__about, qual29).
arc(r_0054_0011__forty_r_0054_0012__years, r_0054_0014__age, r_0054_0013__of).

fof(formula,axiom,
    ? [R_54_7_MIGHT_HAVE_BEEN,R_54_6_HE,R_54_11_FORTY_YEARS,R_54_10_ABOUT,R_54_14_AGE,R_54_2_A_GUESS,R_54_3_ROUGH] :
      ( he(R_54_6_HE)
      & about(R_54_10_ABOUT)
      & age(R_54_14_AGE)
      & rough(R_54_3_ROUGH)
      & might_have_been(R_54_7_MIGHT_HAVE_BEEN,R_54_6_HE,R_54_11_FORTY_YEARS)
      & forty_years(R_54_11_FORTY_YEARS)
      & qual29(R_54_11_FORTY_YEARS,R_54_10_ABOUT)
      & of(R_54_11_FORTY_YEARS,R_54_14_AGE)
      & at_nim5(R_54_7_MIGHT_HAVE_BEEN,R_54_2_A_GUESS)
      & a_guess(R_54_2_A_GUESS)
      & attrib8(R_54_2_A_GUESS,R_54_3_ROUGH) ) ).

( (IP-MAT (PP-TPC-125 (P-ROLE At;{at})
                      (NP (D a;{a})
                          (ADJP (ADJ rough;{rough}))
                          (N guess;{guess})))
          (PUNC ,)
          (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
          (MD;_cat_Vi_ might;{may})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (PP-NIM *ICH*-125)
                                  (BEN;_Ln_ been;{be})
                                  (NP-PRD (ADVP (ADV about;{about}))
                                          (NUM forty;{forty})
                                          (NS years;{year})
                                          (PP (P-ROLE of;{of})
                                              (NP (N age;{age}))))))
          (PUNC .))
  (ID 54_a_hardy_1883))