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_4 It n93_a_dick_1952_6 was n93_a_dick_1952_9 night n93_a_dick_1952_11 . n93_a_dick_1952_1 IP-MAT n93_a_dick_1952_2 NP-SBJ n93_a_dick_1952_1->n93_a_dick_1952_2 n93_a_dick_1952_5 BED;_Ln_ n93_a_dick_1952_1->n93_a_dick_1952_5 n93_a_dick_1952_7 NP-PRD n93_a_dick_1952_1->n93_a_dick_1952_7 n93_a_dick_1952_10 PUNC n93_a_dick_1952_1->n93_a_dick_1952_10 n93_a_dick_1952_3 PRO;_expletive_ n93_a_dick_1952_2->n93_a_dick_1952_3 n93_a_dick_1952_3->n93_a_dick_1952_4 n93_a_dick_1952_5->n93_a_dick_1952_6 n93_a_dick_1952_8 N n93_a_dick_1952_7->n93_a_dick_1952_8 n93_a_dick_1952_8->n93_a_dick_1952_9 n93_a_dick_1952_10->n93_a_dick_1952_11
( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (N night;{night}))
          (PUNC .))
  (ID 93_a_dick_1952))