255_a_dick_1952
They had been baked by the searing heat, baked and charred almost to the ground.
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, arg0).
arc(r_0255_0007__searing, r_0255_0006__the_r_0255_0008__heat, arg0).
fof(formula,axiom,
? [R_255_2_HAD_BEEN_BAKED,R_255_1_THEY,R_255_7_SEARING,R_255_6_THE_HEAT] :
( they(R_255_1_THEY)
& the_heat(R_255_6_THE_HEAT)
& had_been_baked(R_255_2_HAD_BEEN_BAKED,R_255_6_THE_HEAT,R_255_1_THEY)
& searing(R_255_7_SEARING,R_255_6_THE_HEAT) ) ).
( (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 (ILYR (ILYR (NP-LGS *)
(VVN;_Tn_ baked;{bake}))
(CONJP (CONJ and;{and})
(ILYR (NP-LGS *)
(VVN;_Tn_ charred;{char}))))
(PP-NIM (ADV almost;{almost})
(P-ROLE to;{to})
(NP (D the;{the})
(N ground;{ground})))))))
(PUNC .))
(ID 255_a_dick_1952))