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_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] 
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_4 Thinking n114_a_wilde_1_1888_7 always n114_a_wilde_1_1888_9 made n114_a_wilde_1_1888_12 him n114_a_wilde_1_1888_15 sleepy n114_a_wilde_1_1888_17 . n114_a_wilde_1_1888_1 IP-MAT n114_a_wilde_1_1888_2 IP-PPL-SBJ n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_2 n114_a_wilde_1_1888_5 ADVP-NIM n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_5 n114_a_wilde_1_1888_8 VBD;_Cn.a_ n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_8 n114_a_wilde_1_1888_10 NP-OB1 n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_10 n114_a_wilde_1_1888_13 ADJP-PRD n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_13 n114_a_wilde_1_1888_16 PUNC n114_a_wilde_1_1888_1->n114_a_wilde_1_1888_16 n114_a_wilde_1_1888_3 VAG;_I_ n114_a_wilde_1_1888_2->n114_a_wilde_1_1888_3 n114_a_wilde_1_1888_3->n114_a_wilde_1_1888_4 n114_a_wilde_1_1888_6 ADV n114_a_wilde_1_1888_5->n114_a_wilde_1_1888_6 n114_a_wilde_1_1888_6->n114_a_wilde_1_1888_7 n114_a_wilde_1_1888_8->n114_a_wilde_1_1888_9 n114_a_wilde_1_1888_11 PRO n114_a_wilde_1_1888_10->n114_a_wilde_1_1888_11 n114_a_wilde_1_1888_11->n114_a_wilde_1_1888_12 n114_a_wilde_1_1888_14 ADJ n114_a_wilde_1_1888_13->n114_a_wilde_1_1888_14 n114_a_wilde_1_1888_14->n114_a_wilde_1_1888_15 n114_a_wilde_1_1888_16->n114_a_wilde_1_1888_17 
( (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))