95_a_loosechange
Just as I said that a young boy arrived at our table and stood, legs astride, before her.
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_95_2_AS,R_95_4_SAID,R_95_3_I,R_95_5_THAT,R_95_13_AND,R_95_9_ARRIVED,R_95_12_TABLE,R_95_11_OUR,R_95_14_STOOD,R_95_6_A_BOY,R_95_7_YOUNG,R_95_1_JUST,R_95_17_ASTRIDE,R_95_16_LEGS,R_95_20_HER] :
( i(R_95_3_I)
& that(R_95_5_THAT)
& our(R_95_11_OUR)
& young(R_95_7_YOUNG)
& just(R_95_1_JUST)
& legs(R_95_16_LEGS)
& her(R_95_20_HER)
& as(R_95_2_AS)
& conj1(R_95_2_AS,R_95_4_SAID)
& said(R_95_4_SAID,R_95_3_I,R_95_5_THAT)
& conj2(R_95_2_AS,R_95_13_AND)
& and(R_95_13_AND)
& conj1(R_95_13_AND,R_95_9_ARRIVED)
& arrived(R_95_9_ARRIVED,R_95_6_A_BOY)
& a_boy(R_95_6_A_BOY)
& attrib20(R_95_6_A_BOY,R_95_7_YOUNG)
& nim2(R_95_9_ARRIVED,R_95_1_JUST)
& at_clr32(R_95_9_ARRIVED,R_95_12_TABLE)
& table(R_95_12_TABLE)
& gen(R_95_12_TABLE,R_95_11_OUR)
& conj2(R_95_13_AND,R_95_14_STOOD)
& stood(R_95_14_STOOD,R_95_6_A_BOY)
& nim2(R_95_14_STOOD,R_95_1_JUST)
& nim46(R_95_14_STOOD,R_95_17_ASTRIDE)
& astride(R_95_17_ASTRIDE)
& nim47(R_95_17_ASTRIDE,R_95_16_LEGS)
& before_nim57(R_95_14_STOOD,R_95_20_HER) ) ).
( (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))