TSPC 38_a_wilde_2

38_a_wilde_2_1888
One morning the Giant was lying awake in bed when he heard some lovely music.

( (IP-MAT (NP-NIM (NUM One;{one})
                  (N morning;{morning}))
          (NP-SBJ;{GIANT} (D the;{the})
                          (N Giant;{giant}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;__ lying;{lie})
                      (ADJP-PRD (ADJ awake;{awake}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N bed;{bed}))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                           (VBD;__ heard;{hear})
                           (NP-OB1;{MUSIC} (D some;{some})
                                           (ADJP (ADJ lovely;{lovely}))
                                           (N music;{music}))))
          (PUNC .))
  (ID 38_a_wilde_2_1888))

arc(r_0038_0005__was,r_0038_0001__One_r_0038_0002__morning,nim).
arc(r_0038_0005__was,r_0038_0006__lying,scope).
arc(r_0038_0006__lying,r_0038_0003__the_r_0038_0004__Giant,arg0).
arc(r_0038_0006__lying,r_0038_0007__awake,prd).
arc(r_0038_0006__lying,r_0038_0009__bed,r_0038_0008__in__nim).
arc(r_0038_0010__when,r_0038_0005__was,scope).
arc(r_0038_0010__when,r_0038_0012__heard,restriction).
arc(r_0038_0012__heard,r_0038_0003__the_r_0038_0004__Giant,arg0).
arc(r_0038_0012__heard,r_0038_0013__some_r_0038_0015__music,arg1).
arc(r_0038_0013__some_r_0038_0015__music,r_0038_0014__lovely,attrib).

fof(formula,axiom,
    ! [R_0038_0012__HEARD,R_0038_0003__THE_R_0038_0004__GIANT,R_0038_0014__LOVELY,R_0038_0013__SOME_R_0038_0015__MUSIC] :
      ( ( r_0038_0003__the_r_0038_0004__Giant(R_0038_0003__THE_R_0038_0004__GIANT)
        & r_0038_0014__lovely(R_0038_0014__LOVELY)
        & r_0038_0012__heard(R_0038_0012__HEARD)
        & has_arg1(R_0038_0012__HEARD,R_0038_0013__SOME_R_0038_0015__MUSIC)
        & r_0038_0013__some_r_0038_0015__music(R_0038_0013__SOME_R_0038_0015__MUSIC)
        & has_attrib(R_0038_0013__SOME_R_0038_0015__MUSIC,R_0038_0014__LOVELY)
        & has_arg0(R_0038_0012__HEARD,R_0038_0003__THE_R_0038_0004__GIANT) )
     => ? [R_0038_0001__ONE_R_0038_0002__MORNING,R_0038_0007__AWAKE,R_0038_0009__BED,R_0038_0005__WAS_R_0038_0006__LYING] :
          ( r_0038_0001__One_r_0038_0002__morning(R_0038_0001__ONE_R_0038_0002__MORNING)
          & r_0038_0007__awake(R_0038_0007__AWAKE)
          & r_0038_0009__bed(R_0038_0009__BED)
          & r_0038_0005__was_r_0038_0006__lying(R_0038_0005__WAS_R_0038_0006__LYING)
          & has_r_0038_0008__in__nim(R_0038_0005__WAS_R_0038_0006__LYING,R_0038_0009__BED)
          & has_prd(R_0038_0005__WAS_R_0038_0006__LYING,R_0038_0007__AWAKE)
          & has_arg0(R_0038_0005__WAS_R_0038_0006__LYING,R_0038_0003__THE_R_0038_0004__GIANT)
          & has_nim(R_0038_0005__WAS_R_0038_0006__LYING,R_0038_0001__ONE_R_0038_0002__MORNING) ) ) ).