194_a_dick_1952
In front of them was some sort of a ruined building.
( (IP-MAT (PP-TPC-CLR (P-ROLE In_front_of;{in_front_of})
(NP;{DORLE+NASHA+TANCE} (PRO them;{they})))
(BED;_Ipr_ was;{be[in_front_of]})
(NP-SBJ (D some;{some})
(N sort;{sort})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(ADJP (ADJ ruined;{ruined}))
(N building;{building}))))
(PUNC .))
(ID 194_a_dick_1952))
arc(r_0194_0001__In_front_of_r_0194_0003__was,r_0194_0002__them,arg1).
arc(r_0194_0001__In_front_of_r_0194_0003__was,r_0194_0004__some_r_0194_0005__sort,arg0).
arc(r_0194_0004__some_r_0194_0005__sort,r_0194_0007__a_r_0194_0009__building,r_0194_0006__of).
arc(r_0194_0007__a_r_0194_0009__building,r_0194_0008__ruined,attrib).
fof(formula,axiom,
? [R_0194_0002__THEM,R_0194_0008__RUINED,R_0194_0007__A_R_0194_0009__BUILDING,R_0194_0004__SOME_R_0194_0005__SORT,R_0194_0001__IN_FRONT_OF_R_0194_0003__WAS] :
( r_0194_0002__them(R_0194_0002__THEM)
& r_0194_0008__ruined(R_0194_0008__RUINED)
& r_0194_0001__In_front_of_r_0194_0003__was(R_0194_0001__IN_FRONT_OF_R_0194_0003__WAS)
& has_arg0(R_0194_0001__IN_FRONT_OF_R_0194_0003__WAS,R_0194_0004__SOME_R_0194_0005__SORT)
& r_0194_0004__some_r_0194_0005__sort(R_0194_0004__SOME_R_0194_0005__SORT)
& has_r_0194_0006__of(R_0194_0004__SOME_R_0194_0005__SORT,R_0194_0007__A_R_0194_0009__BUILDING)
& r_0194_0007__a_r_0194_0009__building(R_0194_0007__A_R_0194_0009__BUILDING)
& has_attrib(R_0194_0007__A_R_0194_0009__BUILDING,R_0194_0008__RUINED)
& has_arg1(R_0194_0001__IN_FRONT_OF_R_0194_0003__WAS,R_0194_0002__THEM) ) ).