11_a_stories_11_h38
Stephen and Russell didn't say to the man that they were sorry, but just fled.
arc(r_0011_0002__and, r_0011_0001__Stephen, conj1).
arc(r_0011_0002__and, r_0011_0003__Russell, conj2).
arc(r_0011_0004__did_r_0011_0006__say, r_0011_0002__and, arg0).
arc(r_0011_0004__did_r_0011_0006__say, r_0011_0008__the_r_0011_0009__man, arg2).
arc(r_0011_0004__did_r_0011_0006__say, r_0011_0010__that_r_0011_0012__were, arg1).
arc(r_0011_0005__n_apos_t, r_0011_0004__did_r_0011_0006__say, keep_scope).
arc(r_0011_0010__that_r_0011_0012__were, r_0011_0002__and, arg0).
arc(r_0011_0010__that_r_0011_0012__were, r_0011_0013__sorry, prd).
arc(r_0011_0015__but, r_0011_0005__n_apos_t, conj1).
arc(r_0011_0015__but, r_0011_0017__fled, conj2).
arc(r_0011_0017__fled, r_0011_0002__and, arg0).
arc(r_0011_0017__fled, r_0011_0016__just, nim47).
fof(formula,axiom,
? [R_11_15_BUT,R_11_17_FLED,R_11_2_AND,R_11_1_STEPHEN,R_11_3_RUSSELL,R_11_16_JUST] :
( stephen(R_11_1_STEPHEN)
& russell(R_11_3_RUSSELL)
& just(R_11_16_JUST)
& but(R_11_15_BUT)
& conj1(R_11_15_BUT,R_11_5_N_APOS_T)
& ~ ? [R_11_4_DID_SAY,R_11_10_THAT_WERE,R_11_13_SORRY,R_11_8_THE_MAN] :
( sorry(R_11_13_SORRY)
& the_man(R_11_8_THE_MAN)
& did_say(R_11_4_DID_SAY,R_11_2_AND,R_11_10_THAT_WERE,R_11_8_THE_MAN)
& that_were(R_11_10_THAT_WERE,R_11_2_AND,R_11_13_SORRY) )
& conj2(R_11_15_BUT,R_11_17_FLED)
& fled(R_11_17_FLED,R_11_2_AND)
& and(R_11_2_AND)
& conj1(R_11_2_AND,R_11_1_STEPHEN)
& conj2(R_11_2_AND,R_11_3_RUSSELL)
& nim47(R_11_17_FLED,R_11_16_JUST) ) ).
( (IP-MAT (NP-SBJ;{STEPHEN_RUSSELL} (NLYR (NLYR (NPR Stephen;{Stephen}))
(CONJP (CONJ and;{and})
(NLYR (NPR Russell;{Russell})))))
(ILYR (ILYR (DOD did;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Dpr.f_ say;{say[to]})
(PP-OB2 (P-ROLE to;{to})
(NP (D the;{the})
(N man;{man})))
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{STEPHEN_RUSSELL} (PRO they;{they}))
(BED;_La_ were;{be})
(ADJP-PRD (ADJ sorry;{sorry})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (ADVP-NIM (ADV just;{just}))
(VBD;_I_ fled;{flee}))))
(PUNC .))
(ID 11_a_stories_11_h38))