Context                Previous, Next                Top


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

%3 r_0038_0005__was was r_0038_0001__One_r_0038_0002__morning One morning r_0038_0005__was->r_0038_0001__One_r_0038_0002__morning [nim] r_0038_0006__lying lying r_0038_0005__was->r_0038_0006__lying [scope] r_0038_0003__the_r_0038_0004__Giant the Giant r_0038_0006__lying->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0007__awake awake r_0038_0006__lying->r_0038_0007__awake [prd] r_0038_0009__bed bed r_0038_0006__lying->r_0038_0009__bed in [nim] r_0038_0010__when when r_0038_0010__when->r_0038_0005__was [scope] r_0038_0012__heard heard r_0038_0010__when->r_0038_0012__heard [restriction] r_0038_0012__heard->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0013__some_r_0038_0015__music some music r_0038_0012__heard->r_0038_0013__some_r_0038_0015__music [arg1] r_0038_0014__lovely lovely r_0038_0013__some_r_0038_0015__music->r_0038_0014__lovely [attrib] 
arc(r_0038_0005__was, r_0038_0001__One_r_0038_0002__morning, nim2).
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_nim23).
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, attrib38).


%3 r_0038_0005__was_r_0038_0006__lying was lying r_0038_0001__One_r_0038_0002__morning One morning r_0038_0005__was_r_0038_0006__lying->r_0038_0001__One_r_0038_0002__morning [nim] r_0038_0003__the_r_0038_0004__Giant the Giant r_0038_0005__was_r_0038_0006__lying->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0007__awake awake r_0038_0005__was_r_0038_0006__lying->r_0038_0007__awake [prd] r_0038_0009__bed bed r_0038_0005__was_r_0038_0006__lying->r_0038_0009__bed in [nim] r_0038_0010__when when r_0038_0010__when->r_0038_0005__was_r_0038_0006__lying [scope] r_0038_0012__heard heard r_0038_0010__when->r_0038_0012__heard [restriction] r_0038_0012__heard->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0013__some_r_0038_0015__music some music r_0038_0012__heard->r_0038_0013__some_r_0038_0015__music [arg1] r_0038_0014__lovely lovely r_0038_0013__some_r_0038_0015__music->r_0038_0014__lovely [attrib] 
fof(formula,axiom,
    ! [R_38_12_HEARD,R_38_3_THE_GIANT,R_38_13_SOME_MUSIC,R_38_14_LOVELY] :
      ( ( the_Giant(R_38_3_THE_GIANT)
        & lovely(R_38_14_LOVELY)
        & heard(R_38_12_HEARD,R_38_3_THE_GIANT,R_38_13_SOME_MUSIC)
        & some_music(R_38_13_SOME_MUSIC)
        & attrib38(R_38_13_SOME_MUSIC,R_38_14_LOVELY) )
     => ? [R_38_5_WAS_LYING,R_38_1_ONE_MORNING,R_38_7_AWAKE,R_38_9_BED] :
          ( one_morning(R_38_1_ONE_MORNING)
          & awake(R_38_7_AWAKE)
          & bed(R_38_9_BED)
          & was_lying(R_38_5_WAS_LYING,R_38_3_THE_GIANT,R_38_7_AWAKE)
          & nim2(R_38_5_WAS_LYING,R_38_1_ONE_MORNING)
          & in_nim23(R_38_5_WAS_LYING,R_38_9_BED) ) ) ).


n38_a_wilde_2_1888 n38_a_wilde_2_1888_4 One n38_a_wilde_2_1888_6 morning n38_a_wilde_2_1888_9 the n38_a_wilde_2_1888_11 Giant n38_a_wilde_2_1888_13 was n38_a_wilde_2_1888_16 lying n38_a_wilde_2_1888_19 awake n38_a_wilde_2_1888_22 in n38_a_wilde_2_1888_25 bed n38_a_wilde_2_1888_28 when n38_a_wilde_2_1888_32 he n38_a_wilde_2_1888_34 heard n38_a_wilde_2_1888_37 some n38_a_wilde_2_1888_40 lovely n38_a_wilde_2_1888_42 music n38_a_wilde_2_1888_44 . n38_a_wilde_2_1888_1 IP-MAT n38_a_wilde_2_1888_2 NP-NIM n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_2 n38_a_wilde_2_1888_7 NP-SBJ n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_7 n38_a_wilde_2_1888_12 BED;_cat_Vg_ n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_12 n38_a_wilde_2_1888_14 IP-PPL-CAT n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_14 n38_a_wilde_2_1888_26 PP-SCON n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_26 n38_a_wilde_2_1888_43 PUNC n38_a_wilde_2_1888_1->n38_a_wilde_2_1888_43 n38_a_wilde_2_1888_3 NUM n38_a_wilde_2_1888_2->n38_a_wilde_2_1888_3 n38_a_wilde_2_1888_5 N n38_a_wilde_2_1888_2->n38_a_wilde_2_1888_5 n38_a_wilde_2_1888_3->n38_a_wilde_2_1888_4 n38_a_wilde_2_1888_5->n38_a_wilde_2_1888_6 n38_a_wilde_2_1888_8 D n38_a_wilde_2_1888_7->n38_a_wilde_2_1888_8 n38_a_wilde_2_1888_10 N n38_a_wilde_2_1888_7->n38_a_wilde_2_1888_10 n38_a_wilde_2_1888_8->n38_a_wilde_2_1888_9 n38_a_wilde_2_1888_10->n38_a_wilde_2_1888_11 n38_a_wilde_2_1888_12->n38_a_wilde_2_1888_13 n38_a_wilde_2_1888_15 VAG;__ n38_a_wilde_2_1888_14->n38_a_wilde_2_1888_15 n38_a_wilde_2_1888_17 ADJP-PRD n38_a_wilde_2_1888_14->n38_a_wilde_2_1888_17 n38_a_wilde_2_1888_20 PP-NIM n38_a_wilde_2_1888_14->n38_a_wilde_2_1888_20 n38_a_wilde_2_1888_15->n38_a_wilde_2_1888_16 n38_a_wilde_2_1888_18 ADJ n38_a_wilde_2_1888_17->n38_a_wilde_2_1888_18 n38_a_wilde_2_1888_18->n38_a_wilde_2_1888_19 n38_a_wilde_2_1888_21 P-ROLE n38_a_wilde_2_1888_20->n38_a_wilde_2_1888_21 n38_a_wilde_2_1888_23 NP n38_a_wilde_2_1888_20->n38_a_wilde_2_1888_23 n38_a_wilde_2_1888_21->n38_a_wilde_2_1888_22 n38_a_wilde_2_1888_24 N n38_a_wilde_2_1888_23->n38_a_wilde_2_1888_24 n38_a_wilde_2_1888_24->n38_a_wilde_2_1888_25 n38_a_wilde_2_1888_27 P-CONN n38_a_wilde_2_1888_26->n38_a_wilde_2_1888_27 n38_a_wilde_2_1888_29 IP-ADV n38_a_wilde_2_1888_26->n38_a_wilde_2_1888_29 n38_a_wilde_2_1888_27->n38_a_wilde_2_1888_28 n38_a_wilde_2_1888_30 NP-SBJ n38_a_wilde_2_1888_29->n38_a_wilde_2_1888_30 n38_a_wilde_2_1888_33 VBD;__ n38_a_wilde_2_1888_29->n38_a_wilde_2_1888_33 n38_a_wilde_2_1888_35 NP-OB1 n38_a_wilde_2_1888_29->n38_a_wilde_2_1888_35 n38_a_wilde_2_1888_31 PRO n38_a_wilde_2_1888_30->n38_a_wilde_2_1888_31 n38_a_wilde_2_1888_31->n38_a_wilde_2_1888_32 n38_a_wilde_2_1888_33->n38_a_wilde_2_1888_34 n38_a_wilde_2_1888_36 D n38_a_wilde_2_1888_35->n38_a_wilde_2_1888_36 n38_a_wilde_2_1888_38 ADJP n38_a_wilde_2_1888_35->n38_a_wilde_2_1888_38 n38_a_wilde_2_1888_41 N n38_a_wilde_2_1888_35->n38_a_wilde_2_1888_41 n38_a_wilde_2_1888_36->n38_a_wilde_2_1888_37 n38_a_wilde_2_1888_39 ADJ n38_a_wilde_2_1888_38->n38_a_wilde_2_1888_39 n38_a_wilde_2_1888_39->n38_a_wilde_2_1888_40 n38_a_wilde_2_1888_41->n38_a_wilde_2_1888_42 n38_a_wilde_2_1888_43->n38_a_wilde_2_1888_44 
( (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))