TSPC 181_a_joyce

181_a_joyce_1914
“After that he began to mope by himself, talking to no one and wandering about by himself.

( (IP-MAT (PULQ <ldquo>)
          (PP-NIM (P-ROLE After;{after})
                  (NP (D;_nphd_ that;{that})))
          (NP-SBJ;{PRIEST} (PRO he;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ mope;{mope})
                      (PP-NIM (P-ROLE by;{by})
                              (NP;{PRIEST} (PNX himself;{himself}))))
          (PUNC ,)
          (PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Ipr_ talking;{talk[to]})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (Q no;{no})
                                                   (N one;{one}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VAG;_Ip_ wandering;{wander[about]})
                                              (ADVP-CLR (RP about;{about}))
                                              (PP-NIM (P-ROLE by;{by})
                                                      (NP;{PRIEST} (PNX himself;{himself}))))))))
          (PUNC .))
  (ID 181_a_joyce_1914))

arc(r_0181_0005__began,r_0181_0003__that,r_0181_0002__After__nim).
arc(r_0181_0005__began,r_0181_0007__mope,scope).
arc(r_0181_0007__mope,r_0181_0004__he,arg0).
arc(r_0181_0007__mope,r_0181_0004__he,r_0181_0008__by__nim).
arc(r_0181_0011__talking_r_0181_0012__to,r_0181_0004__he,arg0).
arc(r_0181_0011__talking_r_0181_0012__to,r_0181_0014__one,arg1).
arc(r_0181_0013__no__quant,r_0181_0011__talking_r_0181_0012__to,scope).
arc(r_0181_0013__no__quant,r_0181_0014__one,restriction).
arc(r_0181_0015__and,r_0181_0013__no__quant,conj1).
arc(r_0181_0015__and,r_0181_0016__wandering_r_0181_0017__about,conj2).
arc(r_0181_0016__wandering_r_0181_0017__about,r_0181_0004__he,arg0).
arc(r_0181_0016__wandering_r_0181_0017__about,r_0181_0004__he,r_0181_0018__by__nim).
arc(z_0181_5001,r_0181_0005__began,scope).
arc(z_0181_5001,r_0181_0015__and,restriction).

fof(formula,axiom,
    ? [R_0181_0003__THAT,R_0181_0004__HE,R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0015__AND,Z_0181_5001] :
      ( r_0181_0003__that(R_0181_0003__THAT)
      & r_0181_0004__he(R_0181_0004__HE)
      & z_0181_5001(Z_0181_5001)
      & has_conj1(Z_0181_5001,R_0181_0015__AND)
      & r_0181_0015__and(R_0181_0015__AND)
      & has_conj2(R_0181_0015__AND,R_0181_0016__WANDERING_R_0181_0017__ABOUT)
      & r_0181_0016__wandering_r_0181_0017__about(R_0181_0016__WANDERING_R_0181_0017__ABOUT)
      & has_r_0181_0018__by__nim(R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0004__HE)
      & has_arg0(R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0004__HE)
      & ! [R_0181_0014__ONE] :
          ( r_0181_0014__one(R_0181_0014__ONE)
         => ? [R_0181_0011__TALKING_R_0181_0012__TO] :
              ( r_0181_0011__talking_r_0181_0012__to(R_0181_0011__TALKING_R_0181_0012__TO)
              & has_arg1(R_0181_0011__TALKING_R_0181_0012__TO,R_0181_0014__ONE)
              & has_arg0(R_0181_0011__TALKING_R_0181_0012__TO,R_0181_0004__HE) ) )
      & has_conj2(Z_0181_5001,R_0181_0005__BEGAN_R_0181_0007__MOPE)
      & r_0181_0005__began_r_0181_0007__mope(R_0181_0005__BEGAN_R_0181_0007__MOPE)
      & has_r_0181_0008__by__nim(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0004__HE)
      & has_arg0(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0004__HE)
      & has_r_0181_0002__After__nim(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0003__THAT) ) ).