93_a_dick_1952
It was night.

%3 r_0093_0002__was was r_0093_0003__night night r_0093_0002__was->r_0093_0003__night [prd]
arc(r_0093_0002__was, r_0093_0003__night, prd).



%3 r_0093_0002__was was r_0093_0003__night night 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) ) ).



n93_a_dick_1952 n93_a_dick_1952__1_1_1_1 It n93_a_dick_1952__1_2_1 was n93_a_dick_1952__1_3_1_1 night n93_a_dick_1952__1_4_1 . n93_a_dick_1952__1 IP-MAT n93_a_dick_1952__1_1 NP-SBJ n93_a_dick_1952__1->n93_a_dick_1952__1_1 n93_a_dick_1952__1_2 BED;_Ln_ n93_a_dick_1952__1->n93_a_dick_1952__1_2 n93_a_dick_1952__1_3 NP-PRD n93_a_dick_1952__1->n93_a_dick_1952__1_3 n93_a_dick_1952__1_4 PUNC n93_a_dick_1952__1->n93_a_dick_1952__1_4 n93_a_dick_1952__1_1_1 PRO;_expletive_ n93_a_dick_1952__1_1->n93_a_dick_1952__1_1_1 n93_a_dick_1952__1_1_1->n93_a_dick_1952__1_1_1_1 n93_a_dick_1952__1_2->n93_a_dick_1952__1_2_1 n93_a_dick_1952__1_3_1 N n93_a_dick_1952__1_3->n93_a_dick_1952__1_3_1 n93_a_dick_1952__1_3_1->n93_a_dick_1952__1_3_1_1 n93_a_dick_1952__1_4->n93_a_dick_1952__1_4_1
( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (N night;{night}))
          (PUNC .))
  (ID 93_a_dick_1952))