Context                Previous, Next                Top


6_a_opencities
I think that's great.

n6_a_opencities n6_a_opencities__1_1_1_1 I n6_a_opencities__1_2_1 think n6_a_opencities__1_3_1_1_1_1 that n6_a_opencities__1_3_1_2_1 's n6_a_opencities__1_3_1_3_1_1 great n6_a_opencities__1_4_1 . n6_a_opencities__1 IP-MAT n6_a_opencities__1_1 NP-SBJ n6_a_opencities__1->n6_a_opencities__1_1 n6_a_opencities__1_2 VBP;_Tf_ n6_a_opencities__1->n6_a_opencities__1_2 n6_a_opencities__1_3 CP-THT-OB1 n6_a_opencities__1->n6_a_opencities__1_3 n6_a_opencities__1_4 PUNC n6_a_opencities__1->n6_a_opencities__1_4 n6_a_opencities__1_1_1 PRO n6_a_opencities__1_1->n6_a_opencities__1_1_1 n6_a_opencities__1_1_1->n6_a_opencities__1_1_1_1 n6_a_opencities__1_2->n6_a_opencities__1_2_1 n6_a_opencities__1_3_1 IP-SUB n6_a_opencities__1_3->n6_a_opencities__1_3_1 n6_a_opencities__1_3_1_1 NP-SBJ n6_a_opencities__1_3_1->n6_a_opencities__1_3_1_1 n6_a_opencities__1_3_1_2 BEP;_La_ n6_a_opencities__1_3_1->n6_a_opencities__1_3_1_2 n6_a_opencities__1_3_1_3 ADJP-PRD n6_a_opencities__1_3_1->n6_a_opencities__1_3_1_3 n6_a_opencities__1_3_1_1_1 D;_nphd_ n6_a_opencities__1_3_1_1->n6_a_opencities__1_3_1_1_1 n6_a_opencities__1_3_1_1_1->n6_a_opencities__1_3_1_1_1_1 n6_a_opencities__1_3_1_2->n6_a_opencities__1_3_1_2_1 n6_a_opencities__1_3_1_3_1 ADJ n6_a_opencities__1_3_1_3->n6_a_opencities__1_3_1_3_1 n6_a_opencities__1_3_1_3_1->n6_a_opencities__1_3_1_3_1_1 n6_a_opencities__1_4->n6_a_opencities__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{FIND} (D;_nphd_ that;{that}))
                              (BEP;_La_ <apos>s;{be})
                              (ADJP-PRD (ADJ great;{great}))))
          (PUNC .))
  (ID 6_a_opencities))


%3 r_0006_0004___apos_s 's r_0006_0005__great great r_0006_0004___apos_s->r_0006_0005__great [prd] r_0006_0003__that that r_0006_0004___apos_s->r_0006_0003__that [arg0] r_0006_0002__think think r_0006_0002__think->r_0006_0004___apos_s [arg1] r_0006_0001__I I r_0006_0002__think->r_0006_0001__I [arg0] 
arc(r_0006_0002__think,r_0006_0001__I,arg0).
arc(r_0006_0002__think,r_0006_0004___apos_s,arg1).
arc(r_0006_0004___apos_s,r_0006_0003__that,arg0).
arc(r_0006_0004___apos_s,r_0006_0005__great,prd).


%3 r_0006_0002__think think r_0006_0001__I I r_0006_0002__think->r_0006_0001__I [arg0] r_0006_0004___apos_s 's r_0006_0002__think->r_0006_0004___apos_s [arg1] r_0006_0003__that that r_0006_0004___apos_s->r_0006_0003__that [arg0] r_0006_0005__great great r_0006_0004___apos_s->r_0006_0005__great [prd] 
fof(formula,axiom,
    ? [R_0006_0001__I,R_0006_0003__THAT,R_0006_0005__GREAT,R_0006_0004___APOS_S,R_0006_0002__THINK] :
      ( r_0006_0001__I(R_0006_0001__I)
      & r_0006_0003__that(R_0006_0003__THAT)
      & r_0006_0005__great(R_0006_0005__GREAT)
      & r_0006_0002__think(R_0006_0002__THINK)
      & has_arg1(R_0006_0002__THINK,R_0006_0004___APOS_S)
      & r_0006_0004___apos_s(R_0006_0004___APOS_S)
      & has_prd(R_0006_0004___APOS_S,R_0006_0005__GREAT)
      & has_arg0(R_0006_0004___APOS_S,R_0006_0003__THAT)
      & has_arg0(R_0006_0002__THINK,R_0006_0001__I) ) ).