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_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_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_4 I n6_a_opencities_6 think n6_a_opencities_11 that n6_a_opencities_13 's n6_a_opencities_16 great n6_a_opencities_18 . n6_a_opencities_1 IP-MAT n6_a_opencities_2 NP-SBJ n6_a_opencities_1->n6_a_opencities_2 n6_a_opencities_5 VBP;_Tf_ n6_a_opencities_1->n6_a_opencities_5 n6_a_opencities_7 CP-THT-OB1 n6_a_opencities_1->n6_a_opencities_7 n6_a_opencities_17 PUNC n6_a_opencities_1->n6_a_opencities_17 n6_a_opencities_3 PRO n6_a_opencities_2->n6_a_opencities_3 n6_a_opencities_3->n6_a_opencities_4 n6_a_opencities_5->n6_a_opencities_6 n6_a_opencities_8 IP-SUB n6_a_opencities_7->n6_a_opencities_8 n6_a_opencities_9 NP-SBJ n6_a_opencities_8->n6_a_opencities_9 n6_a_opencities_12 BEP;_La_ n6_a_opencities_8->n6_a_opencities_12 n6_a_opencities_14 ADJP-PRD n6_a_opencities_8->n6_a_opencities_14 n6_a_opencities_10 D;_nphd_ n6_a_opencities_9->n6_a_opencities_10 n6_a_opencities_10->n6_a_opencities_11 n6_a_opencities_12->n6_a_opencities_13 n6_a_opencities_15 ADJ n6_a_opencities_14->n6_a_opencities_15 n6_a_opencities_15->n6_a_opencities_16 n6_a_opencities_17->n6_a_opencities_18 
( (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))