( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-INF-CAT (VB;_I_ know;{know})
                                             (PP-NIM (P-ROLE in;{in})
                                                     (NP (D the;{the})
                                                         (N morning;{morning}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ (NPR Fomar;{Fomar}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 159_a_dick_1952))

arc(r_0159_0003___apos_ll,r_0159_0004__know,scope).
arc(r_0159_0004__know,r_0159_0002__We,arg0).
arc(r_0159_0004__know,r_0159_0006__the_r_0159_0007__morning,r_0159_0005__in__nim).
arc(r_0159_0011__said,r_0159_0010__Fomar,arg0).
arc(r_0159_0011__said,z_0159_5002__utterance,arg1).
arc(z_0159_5002__utterance,r_0159_0003___apos_ll,part1).

fof(formula,axiom,
    ? [R_0159_0010__FOMAR,R_0159_0002__WE,R_0159_0006__THE_R_0159_0007__MORNING,R_0159_0003___APOS_LL_R_0159_0004__KNOW,Z_0159_5002__UTTERANCE,R_0159_0011__SAID] :
      ( r_0159_0002__We(R_0159_0002__WE)
      & r_0159_0006__the_r_0159_0007__morning(R_0159_0006__THE_R_0159_0007__MORNING)
      & r_0159_0010__Fomar(R_0159_0010__FOMAR)
      & r_0159_0011__said(R_0159_0011__SAID)
      & has_arg1(R_0159_0011__SAID,Z_0159_5002__UTTERANCE)
      & z_0159_5002__utterance(Z_0159_5002__UTTERANCE)
      & has_part1(Z_0159_5002__UTTERANCE,R_0159_0003___APOS_LL_R_0159_0004__KNOW)
      & r_0159_0003___apos_ll_r_0159_0004__know(R_0159_0003___APOS_LL_R_0159_0004__KNOW)
      & has_r_0159_0005__in__nim(R_0159_0003___APOS_LL_R_0159_0004__KNOW,R_0159_0006__THE_R_0159_0007__MORNING)
      & has_arg0(R_0159_0003___APOS_LL_R_0159_0004__KNOW,R_0159_0002__WE)
      & has_arg0(R_0159_0011__SAID,R_0159_0010__FOMAR) ) ).