Context                Previous, Next                Top


197_a_dick_1952
This whole place is a natural bowl, a huge valley.

%3 r_0197_0001__This_r_0197_0003__place This place r_0197_0002__whole whole r_0197_0001__This_r_0197_0003__place->r_0197_0002__whole [attrib] r_0197_0004__is is r_0197_0004__is->r_0197_0001__This_r_0197_0003__place [arg0] r_0197_0005__a_r_0197_0007__bowl a bowl r_0197_0004__is->r_0197_0005__a_r_0197_0007__bowl [prd] r_0197_0006__natural natural r_0197_0005__a_r_0197_0007__bowl->r_0197_0006__natural [attrib] r_0197_0009__a_r_0197_0011__valley a valley r_0197_0010__huge huge r_0197_0009__a_r_0197_0011__valley->r_0197_0010__huge [attrib] z_000_197_a_dick_1952_22 z_000_197_a_dick_1952_22->r_0197_0005__a_r_0197_0007__bowl [arg0] z_000_197_a_dick_1952_22->r_0197_0009__a_r_0197_0011__valley [prd] 
arc(r_0197_0001__This_r_0197_0003__place, r_0197_0002__whole, attrib5).
arc(r_0197_0004__is, r_0197_0001__This_r_0197_0003__place, arg0).
arc(r_0197_0004__is, r_0197_0005__a_r_0197_0007__bowl, prd).
arc(r_0197_0005__a_r_0197_0007__bowl, r_0197_0006__natural, attrib15).
arc(r_0197_0009__a_r_0197_0011__valley, r_0197_0010__huge, attrib26).
arc(z_000_197_a_dick_1952_22, r_0197_0005__a_r_0197_0007__bowl, arg0).
arc(z_000_197_a_dick_1952_22, r_0197_0009__a_r_0197_0011__valley, prd).


%3 z_000_197_a_dick_1952_22 r_0197_0009__a_r_0197_0011__valley a valley z_000_197_a_dick_1952_22->r_0197_0009__a_r_0197_0011__valley [prd] r_0197_0005__a_r_0197_0007__bowl a bowl z_000_197_a_dick_1952_22->r_0197_0005__a_r_0197_0007__bowl [arg0] r_0197_0010__huge huge r_0197_0009__a_r_0197_0011__valley->r_0197_0010__huge [attrib] r_0197_0006__natural natural r_0197_0005__a_r_0197_0007__bowl->r_0197_0006__natural [attrib] r_0197_0004__is is r_0197_0004__is->r_0197_0005__a_r_0197_0007__bowl [prd] r_0197_0001__This_r_0197_0003__place This place r_0197_0004__is->r_0197_0001__This_r_0197_0003__place [arg0] r_0197_0002__whole whole r_0197_0001__This_r_0197_0003__place->r_0197_0002__whole [attrib] 
fof(formula,axiom,
    ? [R_0197_0002__WHOLE,R_0197_0001__THIS_R_0197_0003__PLACE,R_0197_0006__NATURAL,R_0197_0005__A_R_0197_0007__BOWL,R_0197_0004__IS,R_0197_0010__HUGE,R_0197_0009__A_R_0197_0011__VALLEY,Z_000_197_A_DICK_1952_22] :
      ( r_0197_0002__whole(R_0197_0002__WHOLE)
      & r_0197_0006__natural(R_0197_0006__NATURAL)
      & r_0197_0010__huge(R_0197_0010__HUGE)
      & z_000_197_a_dick_1952_22(Z_000_197_A_DICK_1952_22)
      & has_prd(Z_000_197_A_DICK_1952_22,R_0197_0009__A_R_0197_0011__VALLEY)
      & r_0197_0009__a_r_0197_0011__valley(R_0197_0009__A_R_0197_0011__VALLEY)
      & has_attrib26(R_0197_0009__A_R_0197_0011__VALLEY,R_0197_0010__HUGE)
      & has_arg0(Z_000_197_A_DICK_1952_22,R_0197_0005__A_R_0197_0007__BOWL)
      & r_0197_0005__a_r_0197_0007__bowl(R_0197_0005__A_R_0197_0007__BOWL)
      & has_attrib15(R_0197_0005__A_R_0197_0007__BOWL,R_0197_0006__NATURAL)
      & r_0197_0004__is(R_0197_0004__IS)
      & has_prd(R_0197_0004__IS,R_0197_0005__A_R_0197_0007__BOWL)
      & has_arg0(R_0197_0004__IS,R_0197_0001__THIS_R_0197_0003__PLACE)
      & r_0197_0001__This_r_0197_0003__place(R_0197_0001__THIS_R_0197_0003__PLACE)
      & has_attrib5(R_0197_0001__THIS_R_0197_0003__PLACE,R_0197_0002__WHOLE) ) ).


n197_a_dick_1952 n197_a_dick_1952__1_1_1_1 This n197_a_dick_1952__1_1_2_1_1 whole n197_a_dick_1952__1_1_3_1 place n197_a_dick_1952__1_2_1 is n197_a_dick_1952__1_3_1_1 a n197_a_dick_1952__1_3_2_1_1 natural n197_a_dick_1952__1_3_3_1 bowl n197_a_dick_1952__1_3_4_1 , n197_a_dick_1952__1_3_5_1_1_1 a n197_a_dick_1952__1_3_5_1_2_1_1 huge n197_a_dick_1952__1_3_5_1_3_1 valley n197_a_dick_1952__1_4_1 . n197_a_dick_1952__1 IP-MAT n197_a_dick_1952__1_1 NP-SBJ n197_a_dick_1952__1->n197_a_dick_1952__1_1 n197_a_dick_1952__1_2 BEP;_Ln_ n197_a_dick_1952__1->n197_a_dick_1952__1_2 n197_a_dick_1952__1_3 NP-PRD n197_a_dick_1952__1->n197_a_dick_1952__1_3 n197_a_dick_1952__1_4 PUNC n197_a_dick_1952__1->n197_a_dick_1952__1_4 n197_a_dick_1952__1_1_1 D n197_a_dick_1952__1_1->n197_a_dick_1952__1_1_1 n197_a_dick_1952__1_1_2 ADJP n197_a_dick_1952__1_1->n197_a_dick_1952__1_1_2 n197_a_dick_1952__1_1_3 N n197_a_dick_1952__1_1->n197_a_dick_1952__1_1_3 n197_a_dick_1952__1_1_1->n197_a_dick_1952__1_1_1_1 n197_a_dick_1952__1_1_2_1 ADJ n197_a_dick_1952__1_1_2->n197_a_dick_1952__1_1_2_1 n197_a_dick_1952__1_1_2_1->n197_a_dick_1952__1_1_2_1_1 n197_a_dick_1952__1_1_3->n197_a_dick_1952__1_1_3_1 n197_a_dick_1952__1_2->n197_a_dick_1952__1_2_1 n197_a_dick_1952__1_3_1 D n197_a_dick_1952__1_3->n197_a_dick_1952__1_3_1 n197_a_dick_1952__1_3_2 ADJP n197_a_dick_1952__1_3->n197_a_dick_1952__1_3_2 n197_a_dick_1952__1_3_3 N n197_a_dick_1952__1_3->n197_a_dick_1952__1_3_3 n197_a_dick_1952__1_3_4 PUNC n197_a_dick_1952__1_3->n197_a_dick_1952__1_3_4 n197_a_dick_1952__1_3_5 IP-PPL n197_a_dick_1952__1_3->n197_a_dick_1952__1_3_5 n197_a_dick_1952__1_3_1->n197_a_dick_1952__1_3_1_1 n197_a_dick_1952__1_3_2_1 ADJ n197_a_dick_1952__1_3_2->n197_a_dick_1952__1_3_2_1 n197_a_dick_1952__1_3_2_1->n197_a_dick_1952__1_3_2_1_1 n197_a_dick_1952__1_3_3->n197_a_dick_1952__1_3_3_1 n197_a_dick_1952__1_3_4->n197_a_dick_1952__1_3_4_1 n197_a_dick_1952__1_3_5_1 NP-PRD n197_a_dick_1952__1_3_5->n197_a_dick_1952__1_3_5_1 n197_a_dick_1952__1_3_5_1_1 D n197_a_dick_1952__1_3_5_1->n197_a_dick_1952__1_3_5_1_1 n197_a_dick_1952__1_3_5_1_2 ADJP n197_a_dick_1952__1_3_5_1->n197_a_dick_1952__1_3_5_1_2 n197_a_dick_1952__1_3_5_1_3 N n197_a_dick_1952__1_3_5_1->n197_a_dick_1952__1_3_5_1_3 n197_a_dick_1952__1_3_5_1_1->n197_a_dick_1952__1_3_5_1_1_1 n197_a_dick_1952__1_3_5_1_2_1 ADJ n197_a_dick_1952__1_3_5_1_2->n197_a_dick_1952__1_3_5_1_2_1 n197_a_dick_1952__1_3_5_1_2_1->n197_a_dick_1952__1_3_5_1_2_1_1 n197_a_dick_1952__1_3_5_1_3->n197_a_dick_1952__1_3_5_1_3_1 n197_a_dick_1952__1_4->n197_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (D This;{this})
                  (ADJP (ADJ whole;{whole}))
                  (N place;{place}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ natural;{natural}))
                  (N bowl;{bowl})
                  (PUNC ,)
                  (IP-PPL (NP-PRD (D a;{a})
                                  (ADJP (ADJ huge;{huge}))
                                  (N valley;{valley}))))
          (PUNC .))
  (ID 197_a_dick_1952))