TSPC 94_a_joyce

94_a_joyce_1914
In the evening my aunt took me with her to visit the house of mourning.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N evening;{evening})))
          (NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
                         (N aunt;{aunt}))
          (VBD;_Tn_ took;{take})
          (NP-OB1 (PRO me;{I}))
          (PP-NIM (P-ROLE with;{with})
                  (NP;{AUNT} (PRO her;{her})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ visit;{visit})
                           (NP-OB1 (D the;{the})
                                   (N house;{house})
                                   (PP (P-ROLE of;{of})
                                       (NP (N mourning;{mourning}))))))
          (PUNC .))
  (ID 94_a_joyce_1914))

arc(r_0094_0005__aunt,r_0094_0004__my,gen).
arc(r_0094_0006__took,r_0094_0002__the_r_0094_0003__evening,r_0094_0001__In__nim).
arc(r_0094_0006__took,r_0094_0004__my,arg1).
arc(r_0094_0006__took,r_0094_0005__aunt,arg0).
arc(r_0094_0006__took,r_0094_0005__aunt,r_0094_0008__with__nim).
arc(r_0094_0011__visit,r_0094_0004__my,arg0).
arc(r_0094_0011__visit,r_0094_0012__the_r_0094_0013__house,arg1).
arc(r_0094_0012__the_r_0094_0013__house,r_0094_0015__mourning,r_0094_0014__of).
arc(z_0094_5004,r_0094_0006__took,scope).
arc(z_0094_5004,r_0094_0011__visit,restriction).

fof(formula,axiom,
    ? [R_0094_0002__THE_R_0094_0003__EVENING,R_0094_0004__MY,R_0094_0005__AUNT,R_0094_0006__TOOK,R_0094_0015__MOURNING,R_0094_0012__THE_R_0094_0013__HOUSE,R_0094_0011__VISIT,Z_0094_5004] :
      ( r_0094_0002__the_r_0094_0003__evening(R_0094_0002__THE_R_0094_0003__EVENING)
      & r_0094_0004__my(R_0094_0004__MY)
      & r_0094_0015__mourning(R_0094_0015__MOURNING)
      & z_0094_5004(Z_0094_5004)
      & has_conj1(Z_0094_5004,R_0094_0011__VISIT)
      & r_0094_0011__visit(R_0094_0011__VISIT)
      & has_arg1(R_0094_0011__VISIT,R_0094_0012__THE_R_0094_0013__HOUSE)
      & r_0094_0012__the_r_0094_0013__house(R_0094_0012__THE_R_0094_0013__HOUSE)
      & has_r_0094_0014__of(R_0094_0012__THE_R_0094_0013__HOUSE,R_0094_0015__MOURNING)
      & has_arg0(R_0094_0011__VISIT,R_0094_0004__MY)
      & has_conj2(Z_0094_5004,R_0094_0006__TOOK)
      & r_0094_0006__took(R_0094_0006__TOOK)
      & has_r_0094_0008__with__nim(R_0094_0006__TOOK,R_0094_0005__AUNT)
      & r_0094_0005__aunt(R_0094_0005__AUNT)
      & has_gen(R_0094_0005__AUNT,R_0094_0004__MY)
      & has_arg0(R_0094_0006__TOOK,R_0094_0005__AUNT)
      & has_arg1(R_0094_0006__TOOK,R_0094_0004__MY)
      & has_r_0094_0001__In__nim(R_0094_0006__TOOK,R_0094_0002__THE_R_0094_0003__EVENING) ) ).