621_a_dick_1952
On the ground above a section of metal slag slipped back.
( (IP-MAT (PP-NIM (P-ROLE On;{on})
(NP (D the;{the})
(N ground;{ground})
(PP (P-ROLE above;{above})
(NP (D a;{a})
(N section;{section})
(PP (P-ROLE of;{of})
(NP (N metal;{metal})))))))
(NP-SBJ (N slag;{slag}))
(VBD;_I_ slipped;{slip})
(ADVP-NIM (RP back;{back}))
(PUNC .))
(ID 621_a_dick_1952))
arc(r_0621_0002__the_r_0621_0003__ground,r_0621_0005__a_r_0621_0006__section,r_0621_0004__above).
arc(r_0621_0005__a_r_0621_0006__section,r_0621_0008__metal,r_0621_0007__of).
arc(r_0621_0010__slipped,r_0621_0002__the_r_0621_0003__ground,r_0621_0001__On__nim).
arc(r_0621_0010__slipped,r_0621_0009__slag,arg0).
arc(r_0621_0010__slipped,r_0621_0011__back,nim).
fof(formula,axiom,
? [R_0621_0008__METAL,R_0621_0005__A_R_0621_0006__SECTION,R_0621_0002__THE_R_0621_0003__GROUND,R_0621_0009__SLAG,R_0621_0011__BACK,R_0621_0010__SLIPPED] :
( r_0621_0008__metal(R_0621_0008__METAL)
& r_0621_0009__slag(R_0621_0009__SLAG)
& r_0621_0011__back(R_0621_0011__BACK)
& r_0621_0010__slipped(R_0621_0010__SLIPPED)
& has_nim(R_0621_0010__SLIPPED,R_0621_0011__BACK)
& has_arg0(R_0621_0010__SLIPPED,R_0621_0009__SLAG)
& has_r_0621_0001__On__nim(R_0621_0010__SLIPPED,R_0621_0002__THE_R_0621_0003__GROUND)
& r_0621_0002__the_r_0621_0003__ground(R_0621_0002__THE_R_0621_0003__GROUND)
& has_r_0621_0004__above(R_0621_0002__THE_R_0621_0003__GROUND,R_0621_0005__A_R_0621_0006__SECTION)
& r_0621_0005__a_r_0621_0006__section(R_0621_0005__A_R_0621_0006__SECTION)
& has_r_0621_0007__of(R_0621_0005__A_R_0621_0006__SECTION,R_0621_0008__METAL) ) ).