( (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))

arc(r_0002_0004__think,r_0002_0002__personally,nim).
arc(r_0002_0004__think,r_0002_0003__I,arg0).
arc(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,attrib).

fof(formula,axiom,
    ? [R_0002_0002__PERSONALLY,R_0002_0003__I,R_0002_0005__IT,R_0002_0008__GREAT,R_0002_0007__A_R_0002_0009__THING,R_0002_0006___APOS_S,R_0002_0004__THINK] :
      ( r_0002_0002__personally(R_0002_0002__PERSONALLY)
      & r_0002_0003__I(R_0002_0003__I)
      & r_0002_0005__it(R_0002_0005__IT)
      & r_0002_0008__great(R_0002_0008__GREAT)
      & r_0002_0004__think(R_0002_0004__THINK)
      & has_arg1(R_0002_0004__THINK,R_0002_0006___APOS_S)
      & r_0002_0006___apos_s(R_0002_0006___APOS_S)
      & has_prd(R_0002_0006___APOS_S,R_0002_0007__A_R_0002_0009__THING)
      & r_0002_0007__a_r_0002_0009__thing(R_0002_0007__A_R_0002_0009__THING)
      & has_attrib(R_0002_0007__A_R_0002_0009__THING,R_0002_0008__GREAT)
      & has_arg0(R_0002_0006___APOS_S,R_0002_0005__IT)
      & has_arg0(R_0002_0004__THINK,R_0002_0003__I)
      & has_nim(R_0002_0004__THINK,R_0002_0002__PERSONALLY) ) ).