( (IP-MAT (NP-SBJ;{MUSIC} (PRO It;{it}))
          (VBD;__ sounded;{sound})
          (ADJP-PRD (ADVP (ADV so;{so})
                          (CP-THT *ICH*-189))
                    (ADJ sweet;{sweet})
                    (PP (P-ROLE to;{to})
                        (NP (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                            (NS ears;{ear})))
                    (CP-THT-EPD-189 (IP-SUB (C that;{that})
                                            (NP-SBJ;{GIANT} (PRO he;{he}))
                                            (VBD;__ thought;{think})
                                            (CP-THT-OB1 (IP-SUB (NP-SBJ;{MUSIC} (PRO it;{it}))
                                                                (MD;_cat_Vi_ must;{must})
                                                                (IP-INF-CAT (BE;_Ln_ be;{be})
                                                                            (NP-PRD (NP-GEN (D the;{the})
                                                                                            (N King;{king})
                                                                                            (GENM <apos>s))
                                                                                    (NS musicians;{musician})
                                                                                    (IP-PPL (VAG;__ passing;{pass})
                                                                                            (ADVP-NIM (RP by;{by}))))))))))
          (PUNC .))
  (ID 39_a_wilde_2_1888))

arc(r_0039_0002__sounded,r_0039_0001__It,arg0).
arc(r_0039_0002__sounded,r_0039_0004__sweet,prd).
arc(r_0039_0003__so,r_0039_0010__thought,emb).
arc(r_0039_0004__sweet,r_0039_0003__so,qual).
arc(r_0039_0004__sweet,r_0039_0007__ears,r_0039_0005__to).
arc(r_0039_0007__ears,r_0039_0006__his,gen).
arc(r_0039_0010__thought,r_0039_0009__he,arg0).
arc(r_0039_0010__thought,r_0039_0012__must,arg1).
arc(r_0039_0012__must,r_0039_0013__be,scope).
arc(r_0039_0013__be,r_0039_0001__It,arg0).
arc(r_0039_0013__be,r_0039_0017__musicians,prd).
arc(r_0039_0017__musicians,r_0039_0014__the_r_0039_0015__King,gen).
arc(r_0039_0018__passing,r_0039_0017__musicians,inv_arg0).
arc(r_0039_0018__passing,r_0039_0019__by,nim).

fof(formula,axiom,
    ? [R_0039_0001__IT,R_0039_0009__HE,R_0039_0014__THE_R_0039_0015__KING,R_0039_0019__BY,R_0039_0018__PASSING,R_0039_0017__MUSICIANS,R_0039_0012__MUST_R_0039_0013__BE,R_0039_0010__THOUGHT,R_0039_0003__SO,R_0039_0006__HIS,R_0039_0007__EARS,R_0039_0004__SWEET,R_0039_0002__SOUNDED] :
      ( r_0039_0001__It(R_0039_0001__IT)
      & r_0039_0006__his(R_0039_0006__HIS)
      & r_0039_0009__he(R_0039_0009__HE)
      & r_0039_0014__the_r_0039_0015__King(R_0039_0014__THE_R_0039_0015__KING)
      & r_0039_0019__by(R_0039_0019__BY)
      & r_0039_0002__sounded(R_0039_0002__SOUNDED)
      & has_prd(R_0039_0002__SOUNDED,R_0039_0004__SWEET)
      & r_0039_0004__sweet(R_0039_0004__SWEET)
      & has_r_0039_0005__to(R_0039_0004__SWEET,R_0039_0007__EARS)
      & r_0039_0007__ears(R_0039_0007__EARS)
      & has_gen(R_0039_0007__EARS,R_0039_0006__HIS)
      & has_qual(R_0039_0004__SWEET,R_0039_0003__SO)
      & r_0039_0003__so(R_0039_0003__SO)
      & has_emb(R_0039_0003__SO,R_0039_0010__THOUGHT)
      & r_0039_0010__thought(R_0039_0010__THOUGHT)
      & has_arg1(R_0039_0010__THOUGHT,R_0039_0012__MUST_R_0039_0013__BE)
      & r_0039_0012__must_r_0039_0013__be(R_0039_0012__MUST_R_0039_0013__BE)
      & has_prd(R_0039_0012__MUST_R_0039_0013__BE,R_0039_0017__MUSICIANS)
      & r_0039_0017__musicians(R_0039_0017__MUSICIANS)
      & has_inv_arg0(R_0039_0017__MUSICIANS,R_0039_0018__PASSING)
      & r_0039_0018__passing(R_0039_0018__PASSING)
      & has_nim(R_0039_0018__PASSING,R_0039_0019__BY)
      & has_gen(R_0039_0017__MUSICIANS,R_0039_0014__THE_R_0039_0015__KING)
      & has_arg0(R_0039_0012__MUST_R_0039_0013__BE,R_0039_0001__IT)
      & has_arg0(R_0039_0010__THOUGHT,R_0039_0009__HE)
      & has_arg0(R_0039_0002__SOUNDED,R_0039_0001__IT) ) ).