Context                Previous, Next                Top


6_a_opencities
I think that's great.

%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] 
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_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] 
fof(formula,axiom,
    ? [R_6_2_THINK,R_6_1_I,R_6_4__APOS_S,R_6_3_THAT,R_6_5_GREAT] :
      ( i(R_6_1_I)
      & that(R_6_3_THAT)
      & great(R_6_5_GREAT)
      & think(R_6_2_THINK,R_6_1_I,R_6_4__APOS_S)
      & _apos_s(R_6_4__APOS_S,R_6_3_THAT,R_6_5_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))