arc(utterance_155_a_joyce_1914_4, r_0155_0003___apos_s, part1).
arc(r_0155_0003___apos_s, r_0155_0009__that_r_0155_0011___apos_ll, prd).
arc(r_0155_0003___apos_s, z_000_155_a_joyce_1914_11, arg0).
arc(r_0155_0006___apos_s, r_0155_0005__it, arg0).
arc(r_0155_0006___apos_s, r_0155_0007__all, nim21).
arc(r_0155_0006___apos_s, r_0155_0008__over, clr24).
arc(r_0155_0006___apos_s, z_000_155_a_joyce_1914_11, nim13).
arc(r_0155_0009__that_r_0155_0011___apos_ll, r_0155_0012__miss, scope).
arc(r_0155_0009__that_r_0155_0011___apos_ll, x_000_155_a_joyce_1914_27, nim30).
arc(r_0155_0012__miss, r_0155_0010__you, arg0).
arc(r_0155_0012__miss, r_0155_0013__him, arg1).
arc(r_0155_0016__said, utterance_155_a_joyce_1914_4, arg1).
arc(r_0155_0016__said, r_0155_0018__aunt, arg0).
arc(r_0155_0018__aunt, r_0155_0017__my, gen).

fof(formula,axiom,
    ? [R_155_6__APOS_S,R_155_5_IT,R_155_8_OVER,R_155_7_ALL,R_155_16_SAID,R_155_18_AUNT,R_155_17_MY,UTTERANCE_155_A_JOYCE_1914_4,R_155_3__APOS_S,Z_155_A_JOYCE_1914_11,R_155_9_THAT_APOS_LL_MISS,R_155_10_YOU,R_155_13_HIM,X_155_A_JOYCE_1914_27] :
      ( it(R_155_5_IT)
      & over(R_155_8_OVER)
      & all(R_155_7_ALL)
      & my(R_155_17_MY)
      & you(R_155_10_YOU)
      & him(R_155_13_HIM)
      & _apos_s(R_155_6__APOS_S,R_155_5_IT)
      & clr24(R_155_6__APOS_S,R_155_8_OVER)
      & nim13(R_155_6__APOS_S,Z_155_A_JOYCE_1914_11)
      & nim21(R_155_6__APOS_S,R_155_7_ALL)
      & said(R_155_16_SAID,R_155_18_AUNT,UTTERANCE_155_A_JOYCE_1914_4)
      & aunt(R_155_18_AUNT)
      & gen(R_155_18_AUNT,R_155_17_MY)
      & utterance_155_a_joyce_1914_4(UTTERANCE_155_A_JOYCE_1914_4)
      & part1(UTTERANCE_155_A_JOYCE_1914_4,R_155_3__APOS_S)
      & _apos_s(R_155_3__APOS_S,Z_155_A_JOYCE_1914_11,R_155_9_THAT_APOS_LL_MISS)
      & that_apos_ll_miss(R_155_9_THAT_APOS_LL_MISS,R_155_10_YOU,R_155_13_HIM)
      & nim30(R_155_9_THAT_APOS_LL_MISS,X_155_A_JOYCE_1914_27) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
                                 (BEP;_cleft_Vn_ <apos>s;{be})
                                 (NP-FOC (IP-REL (ADVP-NIM (RADV when;{when}))
                                                 (NP-SBJ (PRO it;{it}))
                                                 (BEP;_Ip_ <apos>s;{be[over]})
                                                 (ADVP-NIM (ADV all;{all}))
                                                 (ADVP-CLR (RP over;{over}))))
                                 (IP-CLF (C that;{that})
                                         (NP-NIM *T*)
                                         (NP-SBJ;{SISTERS} (PRO you;{you}))
                                         (MD;_cat_Vi_ <apos>ll;{will})
                                         (IP-INF-CAT (VB;_Tn_ miss;{miss})
                                                     (NP-OB1;{PRIEST} (PRO him;{he}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
                         (N aunt;{aunt}))
          (PUNC .))
  (ID 155_a_joyce_1914))