452_a_dick_1952
The door came apart easily.
arc(r_0452_0003__came, r_0452_0001__The_r_0452_0002__door, arg0).
arc(r_0452_0003__came, r_0452_0004__apart, clr9).
arc(r_0452_0003__came, r_0452_0005__easily, nim12).
fof(formula,axiom,
? [R_0452_0001__THE_R_0452_0002__DOOR,R_0452_0004__APART,R_0452_0005__EASILY,R_0452_0003__CAME] :
( r_0452_0001__The_r_0452_0002__door(R_0452_0001__THE_R_0452_0002__DOOR)
& r_0452_0004__apart(R_0452_0004__APART)
& r_0452_0005__easily(R_0452_0005__EASILY)
& r_0452_0003__came(R_0452_0003__CAME)
& has_nim12(R_0452_0003__CAME,R_0452_0005__EASILY)
& has_clr9(R_0452_0003__CAME,R_0452_0004__APART)
& has_arg0(R_0452_0003__CAME,R_0452_0001__THE_R_0452_0002__DOOR) ) ).
( (IP-MAT (NP-SBJ;{DOOR} (D The;{the})
(N door;{door}))
(VBD;_Ip_ came;{come[apart]})
(ADVP-CLR (ADV apart;{apart}))
(ADVP-NIM (ADV easily;{easily}))
(PUNC .))
(ID 452_a_dick_1952))