11_a_stories_09_m12
At long last the bulldog did.
( (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))
arc(r_0011_0004__did,r_0011_0001__At_long_last,nim).
arc(r_0011_0004__did,r_0011_0002__the_r_0011_0003__bulldog,arg0).
fof(formula,axiom,
? [R_0011_0001__AT_LONG_LAST,R_0011_0002__THE_R_0011_0003__BULLDOG,R_0011_0004__DID] :
( r_0011_0001__At_long_last(R_0011_0001__AT_LONG_LAST)
& r_0011_0002__the_r_0011_0003__bulldog(R_0011_0002__THE_R_0011_0003__BULLDOG)
& r_0011_0004__did(R_0011_0004__DID)
& has_arg0(R_0011_0004__DID,R_0011_0002__THE_R_0011_0003__BULLDOG)
& has_nim(R_0011_0004__DID,R_0011_0001__AT_LONG_LAST) ) ).