TSPC 106_a_dick

106_a_dick_1952
She paced back and forth, very slender and small, her face dark with fatigue.

( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_Ip_ paced;{pace[back_and_forth]})
          (ADVP-CLR (ADV back_and_forth;{back_and_forth}))
          (PUNC ,)
          (ADJP-NIM (ADVP (ADV very;{very}))
                    (AJLYR (AJLYR (ADJ slender;{slender}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ small;{small})))))
          (PUNC ,)
          (NP-NIM (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                  (N face;{face})
                  (ADJP (ADJ dark;{dark})
                        (PP (P-ROLE with;{with})
                            (NP (N fatigue;{fatigue})))))
          (PUNC .))
  (ID 106_a_dick_1952))

arc(r_0106_0002__paced_r_0106_0003__back_and_forth,r_0106_0001__She,arg0).
arc(r_0106_0002__paced_r_0106_0003__back_and_forth,r_0106_0007__and,nim).
arc(r_0106_0002__paced_r_0106_0003__back_and_forth,r_0106_0011__face,nim).
arc(r_0106_0007__and,r_0106_0005__very,qual).
arc(r_0106_0007__and,r_0106_0006__slender,conj1).
arc(r_0106_0007__and,r_0106_0008__small,conj2).
arc(r_0106_0011__face,r_0106_0001__She,gen).
arc(r_0106_0011__face,r_0106_0012__dark,attrib).
arc(r_0106_0012__dark,r_0106_0014__fatigue,r_0106_0013__with).

fof(formula,axiom,
    ? [R_0106_0001__SHE,R_0106_0005__VERY,R_0106_0006__SLENDER,R_0106_0008__SMALL,R_0106_0007__AND,R_0106_0014__FATIGUE,R_0106_0012__DARK,R_0106_0011__FACE,R_0106_0002__PACED_R_0106_0003__BACK_AND_FORTH] :
      ( r_0106_0001__She(R_0106_0001__SHE)
      & r_0106_0005__very(R_0106_0005__VERY)
      & r_0106_0006__slender(R_0106_0006__SLENDER)
      & r_0106_0008__small(R_0106_0008__SMALL)
      & r_0106_0014__fatigue(R_0106_0014__FATIGUE)
      & r_0106_0002__paced_r_0106_0003__back_and_forth(R_0106_0002__PACED_R_0106_0003__BACK_AND_FORTH)
      & has_nim(R_0106_0002__PACED_R_0106_0003__BACK_AND_FORTH,R_0106_0011__FACE)
      & r_0106_0011__face(R_0106_0011__FACE)
      & has_attrib(R_0106_0011__FACE,R_0106_0012__DARK)
      & r_0106_0012__dark(R_0106_0012__DARK)
      & has_r_0106_0013__with(R_0106_0012__DARK,R_0106_0014__FATIGUE)
      & has_gen(R_0106_0011__FACE,R_0106_0001__SHE)
      & has_nim(R_0106_0002__PACED_R_0106_0003__BACK_AND_FORTH,R_0106_0007__AND)
      & r_0106_0007__and(R_0106_0007__AND)
      & has_conj2(R_0106_0007__AND,R_0106_0008__SMALL)
      & has_conj1(R_0106_0007__AND,R_0106_0006__SLENDER)
      & has_qual(R_0106_0007__AND,R_0106_0005__VERY)
      & has_arg0(R_0106_0002__PACED_R_0106_0003__BACK_AND_FORTH,R_0106_0001__SHE) ) ).