arc(r_0075_0004__would, r_0075_0005__like, scope).
arc(r_0075_0005__like, r_0075_0002__How, nim13).
arc(r_0075_0005__like, r_0075_0003__I, arg0).
arc(r_0075_0005__like, r_0075_0006__to_r_0075_0007__see, arg1).
arc(r_0075_0006__to_r_0075_0007__see, r_0075_0003__I, arg0).
arc(r_0075_0006__to_r_0075_0007__see, r_0075_0008__him, arg1).

fof(formula,axiom,
    ? [R_0075_0002__HOW,R_0075_0003__I,R_0075_0008__HIM,R_0075_0006__TO_R_0075_0007__SEE,R_0075_0004__WOULD_R_0075_0005__LIKE] :
      ( r_0075_0002__How(R_0075_0002__HOW)
      & r_0075_0003__I(R_0075_0003__I)
      & r_0075_0008__him(R_0075_0008__HIM)
      & r_0075_0004__would_r_0075_0005__like(R_0075_0004__WOULD_R_0075_0005__LIKE)
      & has_arg1(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0006__TO_R_0075_0007__SEE)
      & r_0075_0006__to_r_0075_0007__see(R_0075_0006__TO_R_0075_0007__SEE)
      & has_arg1(R_0075_0006__TO_R_0075_0007__SEE,R_0075_0008__HIM)
      & has_arg0(R_0075_0006__TO_R_0075_0007__SEE,R_0075_0003__I)
      & has_arg0(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0003__I)
      & has_nim13(R_0075_0004__WOULD_R_0075_0005__LIKE,R_0075_0002__HOW) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ADVP-154 (WADV How;{how}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM *ICH*-154)
                      (VB;_Tt_ like;{like})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ see;{see})
                                  (NP-OB1;{LITTLE_BOY} (PRO him;{he}))))
          (PUNC !)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{GIANT} (PRO he;{he}))
                       (MD;_cat_Vt_ used;{used})
                       (IP-INF-CAT (TO to;{to})
                                   (VB;_Tf_ say;{say}))))
          (PUNC .))
  (ID 75_a_wilde_2_1888))