Context                Previous, Next                Top


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

%3 r_0198_0001__See See z_000_198_a_dick_1952_1 r_0198_0001__See->z_000_198_a_dick_1952_1 [arg0] z_000_198_a_dick_1952_30 r_0198_0001__See->z_000_198_a_dick_1952_30 [arg1] r_0198_0009__all_quant all [quant] z_000_198_a_dick_1952_30->r_0198_0009__all_quant [scope] r_0198_0012__protecting protecting z_000_198_a_dick_1952_30->r_0198_0012__protecting [restriction] r_0198_0006__rise_r_0198_0007__up rise up r_0198_0002__how how r_0198_0006__rise_r_0198_0007__up->r_0198_0002__how [nim] r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations the rock formations r_0198_0006__rise_r_0198_0007__up->r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations [arg0] r_0198_0010__sides sides r_0198_0006__rise_r_0198_0007__up->r_0198_0010__sides on [clr] r_0198_0009__all_quant->r_0198_0006__rise_r_0198_0007__up [scope] r_0198_0009__all_quant->r_0198_0010__sides [restriction] r_0198_0012__protecting->r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations [arg0] r_0198_0013__the_r_0198_0014__floor the floor r_0198_0012__protecting->r_0198_0013__the_r_0198_0014__floor [arg1] 
arc(r_0198_0001__See, z_000_198_a_dick_1952_1, arg0).
arc(r_0198_0001__See, z_000_198_a_dick_1952_30, arg1).
arc(r_0198_0006__rise_r_0198_0007__up, r_0198_0002__how, nim6).
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_clr23).
arc(r_0198_0009__all_quant, r_0198_0006__rise_r_0198_0007__up, scope).
arc(r_0198_0009__all_quant, r_0198_0010__sides, restriction).
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_000_198_a_dick_1952_30, r_0198_0009__all_quant, scope).
arc(z_000_198_a_dick_1952_30, r_0198_0012__protecting, restriction).


%3 z_000_198_a_dick_1952_30 r_0198_0012__protecting protecting z_000_198_a_dick_1952_30->r_0198_0012__protecting [conj1] r_0198_0009__all_quant all [quant] z_000_198_a_dick_1952_30->r_0198_0009__all_quant [conj2] r_0198_0013__the_r_0198_0014__floor the floor r_0198_0012__protecting->r_0198_0013__the_r_0198_0014__floor [arg1] r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations the rock formations r_0198_0012__protecting->r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations [arg0] r_0198_0010__sides sides r_0198_0009__all_quant->r_0198_0010__sides [restriction] r_0198_0006__rise_r_0198_0007__up rise up r_0198_0009__all_quant->r_0198_0006__rise_r_0198_0007__up [scope] r_0198_0006__rise_r_0198_0007__up->r_0198_0003__the_r_0198_0004__rock_r_0198_0005__formations [arg0] r_0198_0006__rise_r_0198_0007__up->r_0198_0010__sides on [clr] r_0198_0002__how how r_0198_0006__rise_r_0198_0007__up->r_0198_0002__how [nim] r_0198_0001__See See r_0198_0001__See->z_000_198_a_dick_1952_30 [arg1] z_000_198_a_dick_1952_1 r_0198_0001__See->z_000_198_a_dick_1952_1 [arg0] 
fof(formula,axiom,
    ? [R_198_1_SEE,Z_198_A_DICK_1952_1,Z_198_A_DICK_1952_30,R_198_12_PROTECTING,R_198_3_THE_ROCK_FORMATIONS,R_198_13_THE_FLOOR] :
      ( the_rock_formations(R_198_3_THE_ROCK_FORMATIONS)
      & the_floor(R_198_13_THE_FLOOR)
      & see(R_198_1_SEE,Z_198_A_DICK_1952_1,Z_198_A_DICK_1952_30)
      & ! [R_198_10_SIDES] :
          ( sides(R_198_10_SIDES)
         => ? [R_198_6_RISE_UP,R_198_2_HOW] :
              ( how(R_198_2_HOW)
              & rise_up(R_198_6_RISE_UP,R_198_3_THE_ROCK_FORMATIONS)
              & nim6(R_198_6_RISE_UP,R_198_2_HOW)
              & on_clr23(R_198_6_RISE_UP,R_198_10_SIDES) ) )
      & conj2(CONJ2)
      & z_198_a_dick_1952_30(Z_198_A_DICK_1952_30)
      & conj1(Z_198_A_DICK_1952_30,R_198_12_PROTECTING)
      & protecting(R_198_12_PROTECTING,R_198_3_THE_ROCK_FORMATIONS,R_198_13_THE_FLOOR) ) ).


n198_a_dick_1952 n198_a_dick_1952__1_1_1 See n198_a_dick_1952__1_2_1_1_1_1 how n198_a_dick_1952__1_2_1_2_1_1 the n198_a_dick_1952__1_2_1_2_2_1 rock n198_a_dick_1952__1_2_1_2_3_1 formations n198_a_dick_1952__1_2_1_3_1 rise n198_a_dick_1952__1_2_1_4_1 up n198_a_dick_1952__1_2_1_5_1_1 on n198_a_dick_1952__1_2_1_5_2_1_1 all n198_a_dick_1952__1_2_1_5_2_2_1 sides n198_a_dick_1952__1_2_1_6_1 , n198_a_dick_1952__1_2_1_7_1_1_1 protecting n198_a_dick_1952__1_2_1_7_1_2_1_1 the n198_a_dick_1952__1_2_1_7_1_2_2_1 floor n198_a_dick_1952__1_3_1 . n198_a_dick_1952__1 IP-IMP n198_a_dick_1952__1_1 VB;_Tw_ n198_a_dick_1952__1->n198_a_dick_1952__1_1 n198_a_dick_1952__1_2 CP-QUE-OB1 n198_a_dick_1952__1->n198_a_dick_1952__1_2 n198_a_dick_1952__1_3 PUNC n198_a_dick_1952__1->n198_a_dick_1952__1_3 n198_a_dick_1952__1_1->n198_a_dick_1952__1_1_1 n198_a_dick_1952__1_2_1 IP-SUB n198_a_dick_1952__1_2->n198_a_dick_1952__1_2_1 n198_a_dick_1952__1_2_1_1 ADVP-NIM n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_1 n198_a_dick_1952__1_2_1_2 NP-SBJ n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_2 n198_a_dick_1952__1_2_1_3 VBP;_phr_Vp.pr_ n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_3 n198_a_dick_1952__1_2_1_4 RP n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_4 n198_a_dick_1952__1_2_1_5 PP-CLR n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_5 n198_a_dick_1952__1_2_1_6 PUNC n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_6 n198_a_dick_1952__1_2_1_7 PP-SCON n198_a_dick_1952__1_2_1->n198_a_dick_1952__1_2_1_7 n198_a_dick_1952__1_2_1_1_1 WADV n198_a_dick_1952__1_2_1_1->n198_a_dick_1952__1_2_1_1_1 n198_a_dick_1952__1_2_1_1_1->n198_a_dick_1952__1_2_1_1_1_1 n198_a_dick_1952__1_2_1_2_1 D n198_a_dick_1952__1_2_1_2->n198_a_dick_1952__1_2_1_2_1 n198_a_dick_1952__1_2_1_2_2 N n198_a_dick_1952__1_2_1_2->n198_a_dick_1952__1_2_1_2_2 n198_a_dick_1952__1_2_1_2_3 NS n198_a_dick_1952__1_2_1_2->n198_a_dick_1952__1_2_1_2_3 n198_a_dick_1952__1_2_1_2_1->n198_a_dick_1952__1_2_1_2_1_1 n198_a_dick_1952__1_2_1_2_2->n198_a_dick_1952__1_2_1_2_2_1 n198_a_dick_1952__1_2_1_2_3->n198_a_dick_1952__1_2_1_2_3_1 n198_a_dick_1952__1_2_1_3->n198_a_dick_1952__1_2_1_3_1 n198_a_dick_1952__1_2_1_4->n198_a_dick_1952__1_2_1_4_1 n198_a_dick_1952__1_2_1_5_1 P-ROLE n198_a_dick_1952__1_2_1_5->n198_a_dick_1952__1_2_1_5_1 n198_a_dick_1952__1_2_1_5_2 NP n198_a_dick_1952__1_2_1_5->n198_a_dick_1952__1_2_1_5_2 n198_a_dick_1952__1_2_1_5_1->n198_a_dick_1952__1_2_1_5_1_1 n198_a_dick_1952__1_2_1_5_2_1 Q n198_a_dick_1952__1_2_1_5_2->n198_a_dick_1952__1_2_1_5_2_1 n198_a_dick_1952__1_2_1_5_2_2 NS n198_a_dick_1952__1_2_1_5_2->n198_a_dick_1952__1_2_1_5_2_2 n198_a_dick_1952__1_2_1_5_2_1->n198_a_dick_1952__1_2_1_5_2_1_1 n198_a_dick_1952__1_2_1_5_2_2->n198_a_dick_1952__1_2_1_5_2_2_1 n198_a_dick_1952__1_2_1_6->n198_a_dick_1952__1_2_1_6_1 n198_a_dick_1952__1_2_1_7_1 IP-PPL2 n198_a_dick_1952__1_2_1_7->n198_a_dick_1952__1_2_1_7_1 n198_a_dick_1952__1_2_1_7_1_1 VAG;_Tn_ n198_a_dick_1952__1_2_1_7_1->n198_a_dick_1952__1_2_1_7_1_1 n198_a_dick_1952__1_2_1_7_1_2 NP-OB1 n198_a_dick_1952__1_2_1_7_1->n198_a_dick_1952__1_2_1_7_1_2 n198_a_dick_1952__1_2_1_7_1_1->n198_a_dick_1952__1_2_1_7_1_1_1 n198_a_dick_1952__1_2_1_7_1_2_1 D n198_a_dick_1952__1_2_1_7_1_2->n198_a_dick_1952__1_2_1_7_1_2_1 n198_a_dick_1952__1_2_1_7_1_2_2 N n198_a_dick_1952__1_2_1_7_1_2->n198_a_dick_1952__1_2_1_7_1_2_2 n198_a_dick_1952__1_2_1_7_1_2_1->n198_a_dick_1952__1_2_1_7_1_2_1_1 n198_a_dick_1952__1_2_1_7_1_2_2->n198_a_dick_1952__1_2_1_7_1_2_2_1 n198_a_dick_1952__1_3->n198_a_dick_1952__1_3_1 
( (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))