93_a_dick_1952
It was 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))



%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_0093_0003__NIGHT,R_0093_0002__WAS] :
      ( r_0093_0003__night(R_0093_0003__NIGHT)
      & r_0093_0002__was(R_0093_0002__WAS)
      & has_prd(R_0093_0002__WAS,R_0093_0003__NIGHT) ) ).