TSPC 73_a_wilde_2

73_a_wilde_2_1888
But the little boy whom the Giant loved was never seen again.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{LITTLE_BOY} (D the;{the})
                               (ADJP (ADJ little;{little}))
                               (N boy;{boy})
                               (IP-REL (NP-OB1 (RPRO whom;{who}))
                                       (NP-SBJ;{GIANT} (D the;{the})
                                                       (N Giant;{giant}))
                                       (VBD;_Tn_ loved;{love})))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV never;{never}))
                      (VVN;_Tn_ seen;{see})
                      (ADVP-NIM (ADV again;{again})))
          (PUNC .))
  (ID 73_a_wilde_2_1888))

arc(r_0073_0002__the_r_0073_0004__boy,r_0073_0003__little,attrib).
arc(r_0073_0008__loved,r_0073_0002__the_r_0073_0004__boy,arg1).
arc(r_0073_0008__loved,r_0073_0006__the_r_0073_0007__Giant,arg0).
arc(r_0073_0009__was,r_0073_0011__seen,scope).
arc(r_0073_0011__seen,r_0073_0002__the_r_0073_0004__boy,arg1).
arc(r_0073_0011__seen,r_0073_0010__never,nim).
arc(r_0073_0011__seen,r_0073_0012__again,nim).
arc(r_0073_0011__seen,z_0073_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0073_0003__LITTLE,R_0073_0002__THE_R_0073_0004__BOY,R_0073_0006__THE_R_0073_0007__GIANT,R_0073_0008__LOVED,R_0073_0010__NEVER,R_0073_0012__AGAIN,Z_0073_5008___STAR_,R_0073_0009__WAS_R_0073_0011__SEEN] :
      ( r_0073_0003__little(R_0073_0003__LITTLE)
      & r_0073_0006__the_r_0073_0007__Giant(R_0073_0006__THE_R_0073_0007__GIANT)
      & r_0073_0010__never(R_0073_0010__NEVER)
      & r_0073_0012__again(R_0073_0012__AGAIN)
      & z_0073_5008___star_(Z_0073_5008___STAR_)
      & r_0073_0009__was_r_0073_0011__seen(R_0073_0009__WAS_R_0073_0011__SEEN)
      & has_arg0(R_0073_0009__WAS_R_0073_0011__SEEN,Z_0073_5008___STAR_)
      & has_nim(R_0073_0009__WAS_R_0073_0011__SEEN,R_0073_0012__AGAIN)
      & has_nim(R_0073_0009__WAS_R_0073_0011__SEEN,R_0073_0010__NEVER)
      & has_arg1(R_0073_0009__WAS_R_0073_0011__SEEN,R_0073_0002__THE_R_0073_0004__BOY)
      & r_0073_0002__the_r_0073_0004__boy(R_0073_0002__THE_R_0073_0004__BOY)
      & has_attrib(R_0073_0002__THE_R_0073_0004__BOY,R_0073_0003__LITTLE)
      & r_0073_0008__loved(R_0073_0008__LOVED)
      & has_arg0(R_0073_0008__LOVED,R_0073_0006__THE_R_0073_0007__GIANT)
      & has_arg1(R_0073_0008__LOVED,R_0073_0002__THE_R_0073_0004__BOY) ) ).