TSPC 65_a_joyce

65_a_joyce_1914
The next morning after breakfast I went down to look at the little house in Great Britain Street.

( (IP-MAT (NP-NIM (D The;{the})
                  (ADJP (ADJS next;{next}))
                  (N morning;{morning})
                  (PP (P-ROLE after;{after})
                      (NP (N breakfast;{breakfast}))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ip_ went;{go[down]})
          (ADVP-CLR (RP down;{down}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Ipr_ look;{look[at]})
                            (PP-CLR (P-ROLE at;{at})
                                    (NP;{SHOPHOUSE} (D the;{the})
                                                    (ADJP (ADJ little;{little}))
                                                    (N house;{house})
                                                    (PP (P-ROLE in;{in})
                                                        (NP (NPR Great;{Great})
                                                            (NPR Britain;{Britain})
                                                            (NPR Street;{Street})))))))
          (PUNC .))
  (ID 65_a_joyce_1914))

arc(r_0065_0001__The_r_0065_0003__morning,r_0065_0002__next,attrib).
arc(r_0065_0001__The_r_0065_0003__morning,r_0065_0005__breakfast,r_0065_0004__after).
arc(r_0065_0007__went_r_0065_0008__down,r_0065_0001__The_r_0065_0003__morning,nim).
arc(r_0065_0007__went_r_0065_0008__down,r_0065_0006__I,arg0).
arc(r_0065_0010__look_r_0065_0011__at,r_0065_0006__I,arg0).
arc(r_0065_0010__look_r_0065_0011__at,r_0065_0012__the_r_0065_0014__house,arg1).
arc(r_0065_0012__the_r_0065_0014__house,r_0065_0013__little,attrib).
arc(r_0065_0012__the_r_0065_0014__house,r_0065_0016__Great_r_0065_0017__Britain_r_0065_0018__Street,r_0065_0015__in).
arc(z_0065_5004,r_0065_0007__went_r_0065_0008__down,scope).
arc(z_0065_5004,r_0065_0010__look_r_0065_0011__at,restriction).

fof(formula,axiom,
    ? [R_0065_0002__NEXT,R_0065_0005__BREAKFAST,R_0065_0001__THE_R_0065_0003__MORNING,R_0065_0006__I,R_0065_0007__WENT_R_0065_0008__DOWN,R_0065_0013__LITTLE,R_0065_0016__GREAT_R_0065_0017__BRITAIN_R_0065_0018__STREET,R_0065_0012__THE_R_0065_0014__HOUSE,R_0065_0010__LOOK_R_0065_0011__AT,Z_0065_5004] :
      ( r_0065_0002__next(R_0065_0002__NEXT)
      & r_0065_0005__breakfast(R_0065_0005__BREAKFAST)
      & r_0065_0006__I(R_0065_0006__I)
      & r_0065_0013__little(R_0065_0013__LITTLE)
      & r_0065_0016__Great_r_0065_0017__Britain_r_0065_0018__Street(R_0065_0016__GREAT_R_0065_0017__BRITAIN_R_0065_0018__STREET)
      & z_0065_5004(Z_0065_5004)
      & has_conj1(Z_0065_5004,R_0065_0010__LOOK_R_0065_0011__AT)
      & r_0065_0010__look_r_0065_0011__at(R_0065_0010__LOOK_R_0065_0011__AT)
      & has_arg1(R_0065_0010__LOOK_R_0065_0011__AT,R_0065_0012__THE_R_0065_0014__HOUSE)
      & r_0065_0012__the_r_0065_0014__house(R_0065_0012__THE_R_0065_0014__HOUSE)
      & has_r_0065_0015__in(R_0065_0012__THE_R_0065_0014__HOUSE,R_0065_0016__GREAT_R_0065_0017__BRITAIN_R_0065_0018__STREET)
      & has_attrib(R_0065_0012__THE_R_0065_0014__HOUSE,R_0065_0013__LITTLE)
      & has_arg0(R_0065_0010__LOOK_R_0065_0011__AT,R_0065_0006__I)
      & has_conj2(Z_0065_5004,R_0065_0007__WENT_R_0065_0008__DOWN)
      & r_0065_0007__went_r_0065_0008__down(R_0065_0007__WENT_R_0065_0008__DOWN)
      & has_arg0(R_0065_0007__WENT_R_0065_0008__DOWN,R_0065_0006__I)
      & has_nim(R_0065_0007__WENT_R_0065_0008__DOWN,R_0065_0001__THE_R_0065_0003__MORNING)
      & r_0065_0001__The_r_0065_0003__morning(R_0065_0001__THE_R_0065_0003__MORNING)
      & has_r_0065_0004__after(R_0065_0001__THE_R_0065_0003__MORNING,R_0065_0005__BREAKFAST)
      & has_attrib(R_0065_0001__THE_R_0065_0003__MORNING,R_0065_0002__NEXT) ) ).