arc(r_0095_0002__as, r_0095_0004__said, restriction).
arc(r_0095_0002__as, r_0095_0013__and, scope).
arc(r_0095_0004__said, r_0095_0003__I, arg0).
arc(r_0095_0004__said, r_0095_0005__that, arg1).
arc(r_0095_0006__a_r_0095_0008__boy, r_0095_0007__young, attrib20).
arc(r_0095_0009__arrived, r_0095_0001__Just, nim2).
arc(r_0095_0009__arrived, r_0095_0006__a_r_0095_0008__boy, arg0).
arc(r_0095_0009__arrived, r_0095_0012__table, r_0095_0010__at_clr32).
arc(r_0095_0012__table, r_0095_0011__our, gen).
arc(r_0095_0013__and, r_0095_0009__arrived, conj1).
arc(r_0095_0013__and, r_0095_0014__stood, conj2).
arc(r_0095_0014__stood, r_0095_0001__Just, nim2).
arc(r_0095_0014__stood, r_0095_0006__a_r_0095_0008__boy, arg0).
arc(r_0095_0014__stood, r_0095_0017__astride, nim46).
arc(r_0095_0014__stood, r_0095_0020__her, r_0095_0019__before_nim57).
arc(r_0095_0017__astride, r_0095_0016__legs, nim47).

fof(formula,axiom,
    ? [R_0095_0003__I,R_0095_0005__THAT,R_0095_0004__SAID,R_0095_0001__JUST,R_0095_0007__YOUNG,R_0095_0006__A_R_0095_0008__BOY,R_0095_0011__OUR,R_0095_0012__TABLE,R_0095_0009__ARRIVED,R_0095_0016__LEGS,R_0095_0017__ASTRIDE,R_0095_0020__HER,R_0095_0014__STOOD,R_0095_0013__AND,R_0095_0002__AS] :
      ( r_0095_0001__Just(R_0095_0001__JUST)
      & r_0095_0003__I(R_0095_0003__I)
      & r_0095_0005__that(R_0095_0005__THAT)
      & r_0095_0007__young(R_0095_0007__YOUNG)
      & r_0095_0011__our(R_0095_0011__OUR)
      & r_0095_0016__legs(R_0095_0016__LEGS)
      & r_0095_0020__her(R_0095_0020__HER)
      & r_0095_0002__as(R_0095_0002__AS)
      & has_conj2(R_0095_0002__AS,R_0095_0013__AND)
      & r_0095_0013__and(R_0095_0013__AND)
      & has_conj2(R_0095_0013__AND,R_0095_0014__STOOD)
      & r_0095_0014__stood(R_0095_0014__STOOD)
      & has_r_0095_0019__before_nim57(R_0095_0014__STOOD,R_0095_0020__HER)
      & has_nim46(R_0095_0014__STOOD,R_0095_0017__ASTRIDE)
      & r_0095_0017__astride(R_0095_0017__ASTRIDE)
      & has_nim47(R_0095_0017__ASTRIDE,R_0095_0016__LEGS)
      & has_arg0(R_0095_0014__STOOD,R_0095_0006__A_R_0095_0008__BOY)
      & r_0095_0006__a_r_0095_0008__boy(R_0095_0006__A_R_0095_0008__BOY)
      & has_attrib20(R_0095_0006__A_R_0095_0008__BOY,R_0095_0007__YOUNG)
      & has_nim2(R_0095_0014__STOOD,R_0095_0001__JUST)
      & has_conj1(R_0095_0013__AND,R_0095_0009__ARRIVED)
      & r_0095_0009__arrived(R_0095_0009__ARRIVED)
      & has_r_0095_0010__at_clr32(R_0095_0009__ARRIVED,R_0095_0012__TABLE)
      & r_0095_0012__table(R_0095_0012__TABLE)
      & has_gen(R_0095_0012__TABLE,R_0095_0011__OUR)
      & has_arg0(R_0095_0009__ARRIVED,R_0095_0006__A_R_0095_0008__BOY)
      & has_nim2(R_0095_0009__ARRIVED,R_0095_0001__JUST)
      & has_conj1(R_0095_0002__AS,R_0095_0004__SAID)
      & r_0095_0004__said(R_0095_0004__SAID)
      & has_arg1(R_0095_0004__SAID,R_0095_0005__THAT)
      & has_arg0(R_0095_0004__SAID,R_0095_0003__I) ) ).

( (IP-MAT (ADVP-NIM (ADV Just;{just}))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Tn_ said;{say})
                           (NP-OB1 (D;_nphd_ that;{that}))))
          (NP-SBJ;{BROTHER} (D a;{a})
                            (ADJP (ADJ young;{young}))
                            (N boy;{boy}))
          (ILYR (ILYR (VBD;_Ipr_ arrived;{arrive[at]})
                      (PP-CLR (P-ROLE at;{at})
                              (NP (NP-GEN (PRO;_genm_ our;{our}))
                                  (N table;{table}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ stood;{stand})
                             (PUNC ,)
                             (ADVP-NIM (NP (NS legs;{leg}))
                                       (ADV astride;{astride}))
                             (PUNC ,)
                             (PP-NIM (P-ROLE before;{before})
                                     (NP;{LAYLOR} (PRO her;{her}))))))
          (PUNC .))
  (ID 95_a_loosechange))