TSPC 3_a_potter

3_a_potter_1902
They lived with their Mother in a sand-bank, underneath the root of a very big fir-tree.

( (IP-MAT (NP-SBJ;{RABBITS} (PRO They;{they}))
          (VBD;_Ipr_ lived;{live[in]})
          (PP-NIM (P-ROLE with;{with})
                  (NP;{MOTHER} (NP-GEN;{RABBITS} (PRO;_genm_ their;{their}))
                               (N Mother;{mother})))
          (PP-CLR (P-ROLE in;{in})
                  (NP (D a;{a})
                      (N sand_<hyphen>_bank;{sandbank})
                      (PUNC ,)
                      (PP (P-ROLE underneath;{underneath})
                          (NP (D the;{the})
                              (N root;{root})
                              (PP (P-ROLE of;{of})
                                  (NP (D a;{a})
                                      (ADJP (ADVP (ADV very;{very}))
                                            (ADJ big;{big}))
                                      (N fir_<hyphen>_tree;{fir_tree})))))))
          (PUNC .))
  (ID 3_a_potter_1902))

arc(r_0003_0002__lived_r_0003_0006__in,r_0003_0001__They,arg0).
arc(r_0003_0002__lived_r_0003_0006__in,r_0003_0005__Mother,r_0003_0003__with__nim).
arc(r_0003_0002__lived_r_0003_0006__in,r_0003_0007__a_r_0003_0008__sand__hyphen__bank,arg1).
arc(r_0003_0005__Mother,r_0003_0001__They,gen).
arc(r_0003_0007__a_r_0003_0008__sand__hyphen__bank,r_0003_0011__the_r_0003_0012__root,r_0003_0010__underneath).
arc(r_0003_0011__the_r_0003_0012__root,r_0003_0014__a_r_0003_0017__fir__hyphen__tree,r_0003_0013__of).
arc(r_0003_0014__a_r_0003_0017__fir__hyphen__tree,r_0003_0016__big,attrib).
arc(r_0003_0016__big,r_0003_0015__very,qual).

fof(formula,axiom,
    ? [R_0003_0001__THEY,R_0003_0005__MOTHER,R_0003_0015__VERY,R_0003_0016__BIG,R_0003_0014__A_R_0003_0017__FIR__HYPHEN__TREE,R_0003_0011__THE_R_0003_0012__ROOT,R_0003_0007__A_R_0003_0008__SAND__HYPHEN__BANK,R_0003_0002__LIVED_R_0003_0006__IN] :
      ( r_0003_0001__They(R_0003_0001__THEY)
      & r_0003_0015__very(R_0003_0015__VERY)
      & r_0003_0002__lived_r_0003_0006__in(R_0003_0002__LIVED_R_0003_0006__IN)
      & has_arg1(R_0003_0002__LIVED_R_0003_0006__IN,R_0003_0007__A_R_0003_0008__SAND__HYPHEN__BANK)
      & r_0003_0007__a_r_0003_0008__sand__hyphen__bank(R_0003_0007__A_R_0003_0008__SAND__HYPHEN__BANK)
      & has_r_0003_0010__underneath(R_0003_0007__A_R_0003_0008__SAND__HYPHEN__BANK,R_0003_0011__THE_R_0003_0012__ROOT)
      & r_0003_0011__the_r_0003_0012__root(R_0003_0011__THE_R_0003_0012__ROOT)
      & has_r_0003_0013__of(R_0003_0011__THE_R_0003_0012__ROOT,R_0003_0014__A_R_0003_0017__FIR__HYPHEN__TREE)
      & r_0003_0014__a_r_0003_0017__fir__hyphen__tree(R_0003_0014__A_R_0003_0017__FIR__HYPHEN__TREE)
      & has_attrib(R_0003_0014__A_R_0003_0017__FIR__HYPHEN__TREE,R_0003_0016__BIG)
      & r_0003_0016__big(R_0003_0016__BIG)
      & has_qual(R_0003_0016__BIG,R_0003_0015__VERY)
      & has_r_0003_0003__with__nim(R_0003_0002__LIVED_R_0003_0006__IN,R_0003_0005__MOTHER)
      & r_0003_0005__Mother(R_0003_0005__MOTHER)
      & has_gen(R_0003_0005__MOTHER,R_0003_0001__THEY)
      & has_arg0(R_0003_0002__LIVED_R_0003_0006__IN,R_0003_0001__THEY) ) ).