2_a_opencities
Well personally I think it's a great thing.
arc(r_0002_0001__Well_r_0002_0004__think, r_0002_0002__personally, nim4).
arc(r_0002_0001__Well_r_0002_0004__think, r_0002_0003__I, arg0).
arc(r_0002_0001__Well_r_0002_0004__think, r_0002_0006___apos_s, arg1).
arc(r_0002_0006___apos_s, r_0002_0005__it, arg0).
arc(r_0002_0006___apos_s, r_0002_0007__a_r_0002_0009__thing, prd).
arc(r_0002_0007__a_r_0002_0009__thing, r_0002_0008__great, attrib22).
fof(formula,axiom,
? [R_2_1_WELL_THINK,R_2_3_I,R_2_6__APOS_S,R_2_5_IT,R_2_7_A_THING,R_2_8_GREAT,R_2_2_PERSONALLY] :
( i(R_2_3_I)
& it(R_2_5_IT)
& great(R_2_8_GREAT)
& personally(R_2_2_PERSONALLY)
& well_think(R_2_1_WELL_THINK,R_2_3_I,R_2_6__APOS_S)
& _apos_s(R_2_6__APOS_S,R_2_5_IT,R_2_7_A_THING)
& a_thing(R_2_7_A_THING)
& attrib22(R_2_7_A_THING,R_2_8_GREAT)
& nim4(R_2_1_WELL_THINK,R_2_2_PERSONALLY) ) ).
( (IP-MAT (INTJ Well)
(ADVP-NIM (ADV personally;{personally}))
(NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{MIGRATION} (PRO it;{it}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ great;{great}))
(N thing;{thing}))))
(PUNC .))
(ID 2_a_opencities))