197_a_dick_1952
This whole place is a natural bowl, a huge valley.
( (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 ,)
(PRN (NP (D a;{a})
(ADJP (ADJ huge;{huge}))
(N valley;{valley}))))
(PUNC .))
(ID 197_a_dick_1952))
arc(r_0197_0001__This_r_0197_0003__place,r_0197_0002__whole,attrib).
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,attrib).
arc(r_0197_0009__a_r_0197_0011__valley,r_0197_0010__huge,attrib).
arc(z_0197_5007,r_0197_0005__a_r_0197_0007__bowl,arg0).
arc(z_0197_5007,r_0197_0009__a_r_0197_0011__valley,prd).
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_0197_5007] :
( 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_0197_5007(Z_0197_5007)
& has_prd(Z_0197_5007,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_attrib(R_0197_0009__A_R_0197_0011__VALLEY,R_0197_0010__HUGE)
& has_arg0(Z_0197_5007,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_attrib(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_attrib(R_0197_0001__THIS_R_0197_0003__PLACE,R_0197_0002__WHOLE) ) ).