Context                Previous, Next                Top


114_a_wilde_1_1888
Thinking always made him sleepy.

%3 r_0114_0001__Thinking Thinking z_000_114_a_wilde_1_1888_2 r_0114_0001__Thinking->z_000_114_a_wilde_1_1888_2 [arg0] r_0114_0003__made made r_0114_0003__made->r_0114_0001__Thinking [arg0] r_0114_0002__always always r_0114_0003__made->r_0114_0002__always [nim] r_0114_0004__him him r_0114_0003__made->r_0114_0004__him [arg1] r_0114_0005__sleepy sleepy r_0114_0003__made->r_0114_0005__sleepy [prd] 
arc(r_0114_0001__Thinking, z_000_114_a_wilde_1_1888_2, arg0).
arc(r_0114_0003__made, r_0114_0001__Thinking, arg0).
arc(r_0114_0003__made, r_0114_0002__always, nim5).
arc(r_0114_0003__made, r_0114_0004__him, arg1).
arc(r_0114_0003__made, r_0114_0005__sleepy, prd).


%3 r_0114_0003__made made r_0114_0005__sleepy sleepy r_0114_0003__made->r_0114_0005__sleepy [prd] r_0114_0004__him him r_0114_0003__made->r_0114_0004__him [arg1] r_0114_0002__always always r_0114_0003__made->r_0114_0002__always [nim] r_0114_0001__Thinking Thinking r_0114_0003__made->r_0114_0001__Thinking [arg0] z_000_114_a_wilde_1_1888_2 r_0114_0001__Thinking->z_000_114_a_wilde_1_1888_2 [arg0] 
fof(formula,axiom,
    ? [R_114_3_MADE,R_114_1_THINKING,Z_114_A_WILDE_1_1888_2,R_114_4_HIM,R_114_2_ALWAYS,R_114_5_SLEEPY] :
      ( him(R_114_4_HIM)
      & always(R_114_2_ALWAYS)
      & sleepy(R_114_5_SLEEPY)
      & made(R_114_3_MADE,R_114_1_THINKING,R_114_4_HIM,R_114_5_SLEEPY)
      & thinking(R_114_1_THINKING,Z_114_A_WILDE_1_1888_2)
      & nim5(R_114_3_MADE,R_114_2_ALWAYS) ) ).


n114_a_wilde_1_1888 n114_a_wilde_1_1888__1_1_1_1 Thinking n114_a_wilde_1_1888__1_2_1_1 always n114_a_wilde_1_1888__1_3_1 made n114_a_wilde_1_1888__1_4_1_1 him n114_a_wilde_1_1888__1_5_1_1 sleepy n114_a_wilde_1_1888__1_6_1 . n114_a_wilde_1_1888__1 IP-MAT n114_a_wilde_1_1888__1_1 IP-PPL-SBJ n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_1 n114_a_wilde_1_1888__1_2 ADVP-NIM n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_2 n114_a_wilde_1_1888__1_3 VBD;_Cn.a_ n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_3 n114_a_wilde_1_1888__1_4 NP-OB1 n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_4 n114_a_wilde_1_1888__1_5 ADJP-PRD n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_5 n114_a_wilde_1_1888__1_6 PUNC n114_a_wilde_1_1888__1->n114_a_wilde_1_1888__1_6 n114_a_wilde_1_1888__1_1_1 VAG;_I_ n114_a_wilde_1_1888__1_1->n114_a_wilde_1_1888__1_1_1 n114_a_wilde_1_1888__1_1_1->n114_a_wilde_1_1888__1_1_1_1 n114_a_wilde_1_1888__1_2_1 ADV n114_a_wilde_1_1888__1_2->n114_a_wilde_1_1888__1_2_1 n114_a_wilde_1_1888__1_2_1->n114_a_wilde_1_1888__1_2_1_1 n114_a_wilde_1_1888__1_3->n114_a_wilde_1_1888__1_3_1 n114_a_wilde_1_1888__1_4_1 PRO n114_a_wilde_1_1888__1_4->n114_a_wilde_1_1888__1_4_1 n114_a_wilde_1_1888__1_4_1->n114_a_wilde_1_1888__1_4_1_1 n114_a_wilde_1_1888__1_5_1 ADJ n114_a_wilde_1_1888__1_5->n114_a_wilde_1_1888__1_5_1 n114_a_wilde_1_1888__1_5_1->n114_a_wilde_1_1888__1_5_1_1 n114_a_wilde_1_1888__1_6->n114_a_wilde_1_1888__1_6_1 
( (IP-MAT (IP-PPL-SBJ (VAG;_I_ Thinking;{think}))
          (ADVP-NIM (ADV always;{always}))
          (VBD;_Cn.a_ made;{make})
          (NP-OB1;{SWALLOW} (PRO him;{he}))
          (ADJP-PRD (ADJ sleepy;{sleepy}))
          (PUNC .))
  (ID 114_a_wilde_1_1888))