11_a_stories_09_m12
At long last the bulldog did.
arc(r_0011_0004__did, r_0011_0001__At_long_last, nim2).
arc(r_0011_0004__did, r_0011_0002__the_r_0011_0003__bulldog, arg0).
fof(formula,axiom,
? [R_11_4_DID,R_11_2_THE_BULLDOG,R_11_1_AT_LONG_LAST] :
( the_bulldog(R_11_2_THE_BULLDOG)
& at_long_last(R_11_1_AT_LONG_LAST)
& did(R_11_4_DID,R_11_2_THE_BULLDOG)
& nim2(R_11_4_DID,R_11_1_AT_LONG_LAST) ) ).
( (IP-MAT (ADVP-NIM (ADV At_long_last;{at_long_last}))
(NP-SBJ;{BULLDOG} (D the;{the})
(N bulldog;{bulldog}))
(DOD;_I_ did;{do})
(PUNC .))
(ID 11_a_stories_09_m12))