251_a_dick_1952
“Well, there it is.
( (IP-MAT (PULQ <ldquo>)
(INTJ Well)
(PUNC ,)
(ADVP-TPC-CLR (ADV there;{there}))
(NP-SBJ;{CITY} (PRO it;{it}))
(BEP;_Ip_ is;{be[there]})
(PUNC .))
(ID 251_a_dick_1952))
arc(r_0251_0004__there_r_0251_0006__is,r_0251_0005__it,arg0).
fof(formula,axiom,
? [R_0251_0005__IT,R_0251_0004__THERE_R_0251_0006__IS] :
( r_0251_0005__it(R_0251_0005__IT)
& r_0251_0004__there_r_0251_0006__is(R_0251_0004__THERE_R_0251_0006__IS)
& has_arg0(R_0251_0004__THERE_R_0251_0006__IS,R_0251_0005__IT) ) ).