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_0013__some_r_0038_0015__music some music r_0038_0014__lovely lovely r_0038_0013__some_r_0038_0015__music->r_0038_0014__lovely [attrib] r_0038_0012__heard heard r_0038_0012__heard->r_0038_0013__some_r_0038_0015__music [arg1] r_0038_0003__the_r_0038_0004__Giant the Giant r_0038_0012__heard->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0010__when when r_0038_0010__when->r_0038_0012__heard [restriction] r_0038_0005__was_r_0038_0006__lying was lying r_0038_0010__when->r_0038_0005__was_r_0038_0006__lying [scope] r_0038_0005__was_r_0038_0006__lying->r_0038_0003__the_r_0038_0004__Giant [arg0] r_0038_0009__bed bed r_0038_0005__was_r_0038_0006__lying->r_0038_0009__bed in [nim] r_0038_0007__awake awake r_0038_0005__was_r_0038_0006__lying->r_0038_0007__awake [prd] 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] 
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__1_1_1_1 One n38_a_wilde_2_1888__1_1_2_1 morning n38_a_wilde_2_1888__1_2_1_1 the n38_a_wilde_2_1888__1_2_2_1 Giant n38_a_wilde_2_1888__1_3_1 was n38_a_wilde_2_1888__1_4_1_1 lying n38_a_wilde_2_1888__1_4_2_1_1 awake n38_a_wilde_2_1888__1_4_3_1_1 in n38_a_wilde_2_1888__1_4_3_2_1_1 bed n38_a_wilde_2_1888__1_5_1_1 when n38_a_wilde_2_1888__1_5_2_1_1_1 he n38_a_wilde_2_1888__1_5_2_2_1 heard n38_a_wilde_2_1888__1_5_2_3_1_1 some n38_a_wilde_2_1888__1_5_2_3_2_1_1 lovely n38_a_wilde_2_1888__1_5_2_3_3_1 music n38_a_wilde_2_1888__1_6_1 . n38_a_wilde_2_1888__1 IP-MAT n38_a_wilde_2_1888__1_1 NP-NIM n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_1 n38_a_wilde_2_1888__1_2 NP-SBJ n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_2 n38_a_wilde_2_1888__1_3 BED;_cat_Vg_ n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_3 n38_a_wilde_2_1888__1_4 IP-PPL-CAT n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_4 n38_a_wilde_2_1888__1_5 PP-SCON n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_5 n38_a_wilde_2_1888__1_6 PUNC n38_a_wilde_2_1888__1->n38_a_wilde_2_1888__1_6 n38_a_wilde_2_1888__1_1_1 NUM n38_a_wilde_2_1888__1_1->n38_a_wilde_2_1888__1_1_1 n38_a_wilde_2_1888__1_1_2 N n38_a_wilde_2_1888__1_1->n38_a_wilde_2_1888__1_1_2 n38_a_wilde_2_1888__1_1_1->n38_a_wilde_2_1888__1_1_1_1 n38_a_wilde_2_1888__1_1_2->n38_a_wilde_2_1888__1_1_2_1 n38_a_wilde_2_1888__1_2_1 D n38_a_wilde_2_1888__1_2->n38_a_wilde_2_1888__1_2_1 n38_a_wilde_2_1888__1_2_2 N n38_a_wilde_2_1888__1_2->n38_a_wilde_2_1888__1_2_2 n38_a_wilde_2_1888__1_2_1->n38_a_wilde_2_1888__1_2_1_1 n38_a_wilde_2_1888__1_2_2->n38_a_wilde_2_1888__1_2_2_1 n38_a_wilde_2_1888__1_3->n38_a_wilde_2_1888__1_3_1 n38_a_wilde_2_1888__1_4_1 VAG;__ n38_a_wilde_2_1888__1_4->n38_a_wilde_2_1888__1_4_1 n38_a_wilde_2_1888__1_4_2 ADJP-PRD n38_a_wilde_2_1888__1_4->n38_a_wilde_2_1888__1_4_2 n38_a_wilde_2_1888__1_4_3 PP-NIM n38_a_wilde_2_1888__1_4->n38_a_wilde_2_1888__1_4_3 n38_a_wilde_2_1888__1_4_1->n38_a_wilde_2_1888__1_4_1_1 n38_a_wilde_2_1888__1_4_2_1 ADJ n38_a_wilde_2_1888__1_4_2->n38_a_wilde_2_1888__1_4_2_1 n38_a_wilde_2_1888__1_4_2_1->n38_a_wilde_2_1888__1_4_2_1_1 n38_a_wilde_2_1888__1_4_3_1 P-ROLE n38_a_wilde_2_1888__1_4_3->n38_a_wilde_2_1888__1_4_3_1 n38_a_wilde_2_1888__1_4_3_2 NP n38_a_wilde_2_1888__1_4_3->n38_a_wilde_2_1888__1_4_3_2 n38_a_wilde_2_1888__1_4_3_1->n38_a_wilde_2_1888__1_4_3_1_1 n38_a_wilde_2_1888__1_4_3_2_1 N n38_a_wilde_2_1888__1_4_3_2->n38_a_wilde_2_1888__1_4_3_2_1 n38_a_wilde_2_1888__1_4_3_2_1->n38_a_wilde_2_1888__1_4_3_2_1_1 n38_a_wilde_2_1888__1_5_1 P-CONN n38_a_wilde_2_1888__1_5->n38_a_wilde_2_1888__1_5_1 n38_a_wilde_2_1888__1_5_2 IP-ADV n38_a_wilde_2_1888__1_5->n38_a_wilde_2_1888__1_5_2 n38_a_wilde_2_1888__1_5_1->n38_a_wilde_2_1888__1_5_1_1 n38_a_wilde_2_1888__1_5_2_1 NP-SBJ n38_a_wilde_2_1888__1_5_2->n38_a_wilde_2_1888__1_5_2_1 n38_a_wilde_2_1888__1_5_2_2 VBD;__ n38_a_wilde_2_1888__1_5_2->n38_a_wilde_2_1888__1_5_2_2 n38_a_wilde_2_1888__1_5_2_3 NP-OB1 n38_a_wilde_2_1888__1_5_2->n38_a_wilde_2_1888__1_5_2_3 n38_a_wilde_2_1888__1_5_2_1_1 PRO n38_a_wilde_2_1888__1_5_2_1->n38_a_wilde_2_1888__1_5_2_1_1 n38_a_wilde_2_1888__1_5_2_1_1->n38_a_wilde_2_1888__1_5_2_1_1_1 n38_a_wilde_2_1888__1_5_2_2->n38_a_wilde_2_1888__1_5_2_2_1 n38_a_wilde_2_1888__1_5_2_3_1 D n38_a_wilde_2_1888__1_5_2_3->n38_a_wilde_2_1888__1_5_2_3_1 n38_a_wilde_2_1888__1_5_2_3_2 ADJP n38_a_wilde_2_1888__1_5_2_3->n38_a_wilde_2_1888__1_5_2_3_2 n38_a_wilde_2_1888__1_5_2_3_3 N n38_a_wilde_2_1888__1_5_2_3->n38_a_wilde_2_1888__1_5_2_3_3 n38_a_wilde_2_1888__1_5_2_3_1->n38_a_wilde_2_1888__1_5_2_3_1_1 n38_a_wilde_2_1888__1_5_2_3_2_1 ADJ n38_a_wilde_2_1888__1_5_2_3_2->n38_a_wilde_2_1888__1_5_2_3_2_1 n38_a_wilde_2_1888__1_5_2_3_2_1->n38_a_wilde_2_1888__1_5_2_3_2_1_1 n38_a_wilde_2_1888__1_5_2_3_3->n38_a_wilde_2_1888__1_5_2_3_3_1 n38_a_wilde_2_1888__1_6->n38_a_wilde_2_1888__1_6_1 
( (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))