Context                Previous, Next                Top


180_a_dick_1952
“That's bad.

n180_a_dick_1952 n180_a_dick_1952__1_1_1 <ldquo> n180_a_dick_1952__1_2_1_1 That n180_a_dick_1952__1_3_1 's n180_a_dick_1952__1_4_1_1 bad n180_a_dick_1952__1_5_1 . n180_a_dick_1952__1 IP-MAT n180_a_dick_1952__1_1 PULQ n180_a_dick_1952__1->n180_a_dick_1952__1_1 n180_a_dick_1952__1_2 NP-SBJ n180_a_dick_1952__1->n180_a_dick_1952__1_2 n180_a_dick_1952__1_3 BEP;_La_ n180_a_dick_1952__1->n180_a_dick_1952__1_3 n180_a_dick_1952__1_4 ADJP-PRD n180_a_dick_1952__1->n180_a_dick_1952__1_4 n180_a_dick_1952__1_5 PUNC n180_a_dick_1952__1->n180_a_dick_1952__1_5 n180_a_dick_1952__1_1->n180_a_dick_1952__1_1_1 n180_a_dick_1952__1_2_1 D;_nphd_ n180_a_dick_1952__1_2->n180_a_dick_1952__1_2_1 n180_a_dick_1952__1_2_1->n180_a_dick_1952__1_2_1_1 n180_a_dick_1952__1_3->n180_a_dick_1952__1_3_1 n180_a_dick_1952__1_4_1 ADJ n180_a_dick_1952__1_4->n180_a_dick_1952__1_4_1 n180_a_dick_1952__1_4_1->n180_a_dick_1952__1_4_1_1 n180_a_dick_1952__1_5->n180_a_dick_1952__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ bad;{bad}))
          (PUNC .))
  (ID 180_a_dick_1952))


%3 r_0180_0003___apos_s 's r_0180_0004__bad bad r_0180_0003___apos_s->r_0180_0004__bad [prd] r_0180_0002__That That r_0180_0003___apos_s->r_0180_0002__That [arg0] 
arc(r_0180_0003___apos_s,r_0180_0002__That,arg0).
arc(r_0180_0003___apos_s,r_0180_0004__bad,prd).


%3 r_0180_0003___apos_s 's r_0180_0002__That That r_0180_0003___apos_s->r_0180_0002__That [arg0] r_0180_0004__bad bad r_0180_0003___apos_s->r_0180_0004__bad [prd] 
fof(formula,axiom,
    ? [R_0180_0002__THAT,R_0180_0004__BAD,R_0180_0003___APOS_S] :
      ( r_0180_0002__That(R_0180_0002__THAT)
      & r_0180_0004__bad(R_0180_0004__BAD)
      & r_0180_0003___apos_s(R_0180_0003___APOS_S)
      & has_prd(R_0180_0003___APOS_S,R_0180_0004__BAD)
      & has_arg0(R_0180_0003___APOS_S,R_0180_0002__THAT) ) ).