TSPC 581_a_dick

581_a_dick_1952
She folded her arms, sitting down on the edge of the table.

( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_Tn_ folded;{fold})
          (NP-OB1 (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                  (NS arms;{arm}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Ip_ sitting;{sit[down]})
                            (ADVP-CLR (RP down;{down}))
                            (PP-NIM (P-ROLE on;{on})
                                    (NP (D the;{the})
                                        (N edge;{edge})
                                        (PP (P-ROLE of;{of})
                                            (NP (D the;{the})
                                                (N table;{table})))))))
          (PUNC .))
  (ID 581_a_dick_1952))

arc(r_0581_0002__folded,r_0581_0001__She,arg0).
arc(r_0581_0002__folded,r_0581_0004__arms,arg1).
arc(r_0581_0004__arms,r_0581_0001__She,gen).
arc(r_0581_0006__sitting_r_0581_0007__down,r_0581_0001__She,arg0).
arc(r_0581_0006__sitting_r_0581_0007__down,r_0581_0009__the_r_0581_0010__edge,r_0581_0008__on__nim).
arc(r_0581_0009__the_r_0581_0010__edge,r_0581_0012__the_r_0581_0013__table,r_0581_0011__of).
arc(z_0581_5003,r_0581_0002__folded,scope).
arc(z_0581_5003,r_0581_0006__sitting_r_0581_0007__down,restriction).

fof(formula,axiom,
    ? [R_0581_0001__SHE,R_0581_0004__ARMS,R_0581_0002__FOLDED,R_0581_0012__THE_R_0581_0013__TABLE,R_0581_0009__THE_R_0581_0010__EDGE,R_0581_0006__SITTING_R_0581_0007__DOWN,Z_0581_5003] :
      ( r_0581_0001__She(R_0581_0001__SHE)
      & r_0581_0012__the_r_0581_0013__table(R_0581_0012__THE_R_0581_0013__TABLE)
      & z_0581_5003(Z_0581_5003)
      & has_conj1(Z_0581_5003,R_0581_0006__SITTING_R_0581_0007__DOWN)
      & r_0581_0006__sitting_r_0581_0007__down(R_0581_0006__SITTING_R_0581_0007__DOWN)
      & has_r_0581_0008__on__nim(R_0581_0006__SITTING_R_0581_0007__DOWN,R_0581_0009__THE_R_0581_0010__EDGE)
      & r_0581_0009__the_r_0581_0010__edge(R_0581_0009__THE_R_0581_0010__EDGE)
      & has_r_0581_0011__of(R_0581_0009__THE_R_0581_0010__EDGE,R_0581_0012__THE_R_0581_0013__TABLE)
      & has_arg0(R_0581_0006__SITTING_R_0581_0007__DOWN,R_0581_0001__SHE)
      & has_conj2(Z_0581_5003,R_0581_0002__FOLDED)
      & r_0581_0002__folded(R_0581_0002__FOLDED)
      & has_arg1(R_0581_0002__FOLDED,R_0581_0004__ARMS)
      & r_0581_0004__arms(R_0581_0004__ARMS)
      & has_gen(R_0581_0004__ARMS,R_0581_0001__SHE)
      & has_arg0(R_0581_0002__FOLDED,R_0581_0001__SHE) ) ).