7_a_toeic
Oh, that's convenient.
arc(r_0007_0001__Oh_r_0007_0004___apos_s, r_0007_0003__that, arg0).
arc(r_0007_0001__Oh_r_0007_0004___apos_s, r_0007_0005__convenient, prd).
fof(formula,axiom,
? [R_7_1_OH_APOS_S,R_7_3_THAT,R_7_5_CONVENIENT] :
( that(R_7_3_THAT)
& convenient(R_7_5_CONVENIENT)
& oh_apos_s(R_7_1_OH_APOS_S,R_7_3_THAT,R_7_5_CONVENIENT) ) ).
( (IP-MAT (REACT Oh)
(PUNC ,)
(NP-SBJ (D;_nphd_ that;{that}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADJ convenient;{convenient}))
(PUNC .))
(ID 7_a_toeic;32-34;speaker=customer))