( (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))

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,attrib).
arc(r_0095_0009__arrived_r_0095_0010__at,r_0095_0001__Just,nim).
arc(r_0095_0009__arrived_r_0095_0010__at,r_0095_0006__a_r_0095_0008__boy,arg0).
arc(r_0095_0009__arrived_r_0095_0010__at,r_0095_0012__table,arg1).
arc(r_0095_0012__table,r_0095_0011__our,gen).
arc(r_0095_0013__and,r_0095_0009__arrived_r_0095_0010__at,conj1).
arc(r_0095_0013__and,r_0095_0014__stood,conj2).
arc(r_0095_0014__stood,r_0095_0001__Just,nim).
arc(r_0095_0014__stood,r_0095_0006__a_r_0095_0008__boy,arg0).
arc(r_0095_0014__stood,r_0095_0017__astride,nim).
arc(r_0095_0014__stood,r_0095_0020__her,r_0095_0019__before__nim).
arc(r_0095_0017__astride,r_0095_0016__legs,nim).

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_0010__AT,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__nim(R_0095_0014__STOOD,R_0095_0020__HER)
      & has_nim(R_0095_0014__STOOD,R_0095_0017__ASTRIDE)
      & r_0095_0017__astride(R_0095_0017__ASTRIDE)
      & has_nim(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_attrib(R_0095_0006__A_R_0095_0008__BOY,R_0095_0007__YOUNG)
      & has_nim(R_0095_0014__STOOD,R_0095_0001__JUST)
      & has_conj1(R_0095_0013__AND,R_0095_0009__ARRIVED_R_0095_0010__AT)
      & r_0095_0009__arrived_r_0095_0010__at(R_0095_0009__ARRIVED_R_0095_0010__AT)
      & has_arg1(R_0095_0009__ARRIVED_R_0095_0010__AT,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_0010__AT,R_0095_0006__A_R_0095_0008__BOY)
      & has_nim(R_0095_0009__ARRIVED_R_0095_0010__AT,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) ) ).