255_a_dick_1952
They had been baked by the searing heat, baked and charred almost to the ground.
( (IP-MAT (NP-SBJ;{PIERS} (PRO They;{they}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (VVN;_Tn_ baked;{bake})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(IP-PPL (VAG;_I_ searing;{sear}))
(N heat;{heat})))
(PUNC ,)
(REP (ILYR (NP-LGS *)
(ILYR (ILYR (VVN;_Tn_ baked;{bake}))
(CONJP (CONJ and;{and})
(ILYR (VVN;_Tn_ charred;{char}))))
(PP-NIM (ADVP-NIM (ADV almost;{almost}))
(P-ROLE to;{to})
(NP (D the;{the})
(N ground;{ground})))))))
(PUNC .))
(ID 255_a_dick_1952))
arc(r_0255_0002__had,r_0255_0003__been,scope).
arc(r_0255_0003__been,r_0255_0004__baked,scope).
arc(r_0255_0004__baked,r_0255_0001__They,arg1).
arc(r_0255_0004__baked,r_0255_0006__the_r_0255_0008__heat,r_0255_0005__by_arg0).
arc(r_0255_0007__searing,r_0255_0006__the_r_0255_0008__heat,inv_arg0).
fof(formula,axiom,
? [R_0255_0001__THEY,R_0255_0007__SEARING,R_0255_0006__THE_R_0255_0008__HEAT,R_0255_0002__HAD_R_0255_0003__BEEN_R_0255_0004__BAKED] :
( r_0255_0001__They(R_0255_0001__THEY)
& r_0255_0007__searing(R_0255_0007__SEARING)
& r_0255_0002__had_r_0255_0003__been_r_0255_0004__baked(R_0255_0002__HAD_R_0255_0003__BEEN_R_0255_0004__BAKED)
& has_r_0255_0005__by_arg0(R_0255_0002__HAD_R_0255_0003__BEEN_R_0255_0004__BAKED,R_0255_0006__THE_R_0255_0008__HEAT)
& r_0255_0006__the_r_0255_0008__heat(R_0255_0006__THE_R_0255_0008__HEAT)
& has_inv_arg0(R_0255_0006__THE_R_0255_0008__HEAT,R_0255_0007__SEARING)
& has_arg1(R_0255_0002__HAD_R_0255_0003__BEEN_R_0255_0004__BAKED,R_0255_0001__THEY) ) ).