Context                Previous, Next                Top


7_a_toeic
Oh, that's convenient.

n7_a_toeic n7_a_toeic__1_1_1 Oh n7_a_toeic__1_2_1 , n7_a_toeic__1_3_1_1 that n7_a_toeic__1_4_1 's n7_a_toeic__1_5_1_1 convenient n7_a_toeic__1_6_1 . n7_a_toeic__1 IP-MAT n7_a_toeic__1_1 REACT n7_a_toeic__1->n7_a_toeic__1_1 n7_a_toeic__1_2 PUNC n7_a_toeic__1->n7_a_toeic__1_2 n7_a_toeic__1_3 NP-SBJ n7_a_toeic__1->n7_a_toeic__1_3 n7_a_toeic__1_4 BEP;_La_ n7_a_toeic__1->n7_a_toeic__1_4 n7_a_toeic__1_5 ADJP-PRD n7_a_toeic__1->n7_a_toeic__1_5 n7_a_toeic__1_6 PUNC n7_a_toeic__1->n7_a_toeic__1_6 n7_a_toeic__1_1->n7_a_toeic__1_1_1 n7_a_toeic__1_2->n7_a_toeic__1_2_1 n7_a_toeic__1_3_1 D;_nphd_ n7_a_toeic__1_3->n7_a_toeic__1_3_1 n7_a_toeic__1_3_1->n7_a_toeic__1_3_1_1 n7_a_toeic__1_4->n7_a_toeic__1_4_1 n7_a_toeic__1_5_1 ADJ n7_a_toeic__1_5->n7_a_toeic__1_5_1 n7_a_toeic__1_5_1->n7_a_toeic__1_5_1_1 n7_a_toeic__1_6->n7_a_toeic__1_6_1 
( (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))


%3 r_0007_0004___apos_s 's r_0007_0005__convenient convenient r_0007_0004___apos_s->r_0007_0005__convenient [prd] r_0007_0003__that that r_0007_0004___apos_s->r_0007_0003__that [arg0] 
arc(r_0007_0004___apos_s,r_0007_0003__that,arg0).
arc(r_0007_0004___apos_s,r_0007_0005__convenient,prd).


%3 r_0007_0004___apos_s 's r_0007_0003__that that r_0007_0004___apos_s->r_0007_0003__that [arg0] r_0007_0005__convenient convenient r_0007_0004___apos_s->r_0007_0005__convenient [prd] 
fof(formula,axiom,
    ? [R_0007_0003__THAT,R_0007_0005__CONVENIENT,R_0007_0004___APOS_S] :
      ( r_0007_0003__that(R_0007_0003__THAT)
      & r_0007_0005__convenient(R_0007_0005__CONVENIENT)
      & r_0007_0004___apos_s(R_0007_0004___APOS_S)
      & has_prd(R_0007_0004___APOS_S,R_0007_0005__CONVENIENT)
      & has_arg0(R_0007_0004___APOS_S,R_0007_0003__THAT) ) ).