TSPC 198_a_dick

198_a_dick_1952
See how the rock formations rise up on all sides, protecting the floor.

( (IP-IMP (VB;_Tw_ See;{see})
          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV how;{how}))
                              (NP-SBJ (D the;{the})
                                      (N rock;{rock})
                                      (NS formations;{formation}))
                              (VBP;_phr_Vp.pr_ rise;{rise[up,on]})
                              (RP up;{up})
                              (PP-CLR (P-ROLE on;{on})
                                      (NP (Q all;{all})
                                          (NS sides;{side})))
                              (PUNC ,)
                              (PP-SCON (IP-PPL2 (VAG;_Tn_ protecting;{protect})
                                                (NP-OB1 (D the;{the})
                                                        (N floor;{floor}))))))
          (PUNC .))
  (ID 198_a_dick_1952))

arc(r_0198_0001__See,r_0198_0009__all__quant,arg1).
arc(r_0198_0001__See,z_0198_5002,arg0).
arc(r_0198_0006__rise_r_0198_0007__up,r_0198_0002__how,nim).
arc(r_0198_0006__rise_r_0198_0007__up,r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations,arg0).
arc(r_0198_0006__rise_r_0198_0007__up,r_0198_0010__sides,r_0198_0008__on__clr).
arc(r_0198_0009__all__quant,r_0198_0010__sides,restriction).
arc(r_0198_0009__all__quant,z_0198_5008,scope).
arc(r_0198_0012__protecting,r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations,arg0).
arc(r_0198_0012__protecting,r_0198_0013__the_r_0198_0014__floor,arg1).
arc(z_0198_5008,r_0198_0006__rise_r_0198_0007__up,scope).
arc(z_0198_5008,r_0198_0012__protecting,restriction).

fof(formula,axiom,
    ? [Z_0198_5002,R_0198_0001__SEE] :
      ( z_0198_5002(Z_0198_5002)
      & r_0198_0001__See(R_0198_0001__SEE)
      & has_arg0(R_0198_0001__SEE,Z_0198_5002)
      & ! [R_0198_0010__SIDES] :
          ( r_0198_0010__sides(R_0198_0010__SIDES)
         => ? [R_0198_0002__HOW,R_0198_0003__THE_R_0198_0004__ROCK_R_0198_0005__FORMATIONS,R_0198_0006__RISE_R_0198_0007__UP,R_0198_0013__THE_R_0198_0014__FLOOR,R_0198_0012__PROTECTING,Z_0198_5008] :
              ( r_0198_0002__how(R_0198_0002__HOW)
              & r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations(R_0198_0003__THE_R_0198_0004__ROCK_R_0198_0005__FORMATIONS)
              & r_0198_0013__the_r_0198_0014__floor(R_0198_0013__THE_R_0198_0014__FLOOR)
              & z_0198_5008(Z_0198_5008)
              & has_conj1(Z_0198_5008,R_0198_0012__PROTECTING)
              & r_0198_0012__protecting(R_0198_0012__PROTECTING)
              & has_arg1(R_0198_0012__PROTECTING,R_0198_0013__THE_R_0198_0014__FLOOR)
              & has_arg0(R_0198_0012__PROTECTING,R_0198_0003__THE_R_0198_0004__ROCK_R_0198_0005__FORMATIONS)
              & has_conj2(Z_0198_5008,R_0198_0006__RISE_R_0198_0007__UP)
              & r_0198_0006__rise_r_0198_0007__up(R_0198_0006__RISE_R_0198_0007__UP)
              & has_r_0198_0008__on__clr(R_0198_0006__RISE_R_0198_0007__UP,R_0198_0010__SIDES)
              & has_arg0(R_0198_0006__RISE_R_0198_0007__UP,R_0198_0003__THE_R_0198_0004__ROCK_R_0198_0005__FORMATIONS)
              & has_nim(R_0198_0006__RISE_R_0198_0007__UP,R_0198_0002__HOW) ) ) ) ).