TSPC 272_a_dick

272_a_dick_1952
She turned aside, going up the remains of a stairway from one of the foundations.

( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_Ip_ turned;{turn[aside]})
          (ADVP-CLR (ADV aside;{aside}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Ipr_ going;{go[up]})
                            (PP-CLR (P-ROLE up;{up})
                                    (NP (D the;{the})
                                        (NS remains;{remains})
                                        (PP (P-ROLE of;{of})
                                            (NP (D a;{a})
                                                (N stairway;{stairway})
                                                (PP (P-ROLE from;{from})
                                                    (NP (D;_nphd_ one;{one})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (D the;{the})
                                                                (NS foundations;{foundation})))))))))))
          (PUNC .))
  (ID 272_a_dick_1952))

arc(r_0272_0002__turned_r_0272_0003__aside,r_0272_0001__She,arg0).
arc(r_0272_0005__going_r_0272_0006__up,r_0272_0001__She,arg0).
arc(r_0272_0005__going_r_0272_0006__up,r_0272_0007__the_r_0272_0008__remains,arg1).
arc(r_0272_0007__the_r_0272_0008__remains,r_0272_0010__a_r_0272_0011__stairway,r_0272_0009__of).
arc(r_0272_0010__a_r_0272_0011__stairway,r_0272_0013__one,r_0272_0012__from).
arc(r_0272_0013__one,r_0272_0015__the_r_0272_0016__foundations,r_0272_0014__of).
arc(z_0272_5001,r_0272_0002__turned_r_0272_0003__aside,scope).
arc(z_0272_5001,r_0272_0005__going_r_0272_0006__up,restriction).

fof(formula,axiom,
    ? [R_0272_0001__SHE,R_0272_0002__TURNED_R_0272_0003__ASIDE,R_0272_0015__THE_R_0272_0016__FOUNDATIONS,R_0272_0013__ONE,R_0272_0010__A_R_0272_0011__STAIRWAY,R_0272_0007__THE_R_0272_0008__REMAINS,R_0272_0005__GOING_R_0272_0006__UP,Z_0272_5001] :
      ( r_0272_0001__She(R_0272_0001__SHE)
      & r_0272_0015__the_r_0272_0016__foundations(R_0272_0015__THE_R_0272_0016__FOUNDATIONS)
      & z_0272_5001(Z_0272_5001)
      & has_conj1(Z_0272_5001,R_0272_0005__GOING_R_0272_0006__UP)
      & r_0272_0005__going_r_0272_0006__up(R_0272_0005__GOING_R_0272_0006__UP)
      & has_arg1(R_0272_0005__GOING_R_0272_0006__UP,R_0272_0007__THE_R_0272_0008__REMAINS)
      & r_0272_0007__the_r_0272_0008__remains(R_0272_0007__THE_R_0272_0008__REMAINS)
      & has_r_0272_0009__of(R_0272_0007__THE_R_0272_0008__REMAINS,R_0272_0010__A_R_0272_0011__STAIRWAY)
      & r_0272_0010__a_r_0272_0011__stairway(R_0272_0010__A_R_0272_0011__STAIRWAY)
      & has_r_0272_0012__from(R_0272_0010__A_R_0272_0011__STAIRWAY,R_0272_0013__ONE)
      & r_0272_0013__one(R_0272_0013__ONE)
      & has_r_0272_0014__of(R_0272_0013__ONE,R_0272_0015__THE_R_0272_0016__FOUNDATIONS)
      & has_arg0(R_0272_0005__GOING_R_0272_0006__UP,R_0272_0001__SHE)
      & has_conj2(Z_0272_5001,R_0272_0002__TURNED_R_0272_0003__ASIDE)
      & r_0272_0002__turned_r_0272_0003__aside(R_0272_0002__TURNED_R_0272_0003__ASIDE)
      & has_arg0(R_0272_0002__TURNED_R_0272_0003__ASIDE,R_0272_0001__SHE) ) ).