93_a_dick_1952
It was night.
arc(r_0093_0002__was, r_0093_0003__night, prd).
fof(formula,axiom,
? [R_93_2_WAS,R_93_3_NIGHT] :
( night(R_93_3_NIGHT)
& was(R_93_2_WAS)
& prd(R_93_2_WAS,R_93_3_NIGHT) ) ).
( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
(BED;_Ln_ was;{be})
(NP-PRD (N night;{night}))
(PUNC .))
(ID 93_a_dick_1952))