Context                Previous, Next                Top


114_a_wilde_1_1888
Thinking always made him sleepy.

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))


%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_0114_5003 r_0114_0001__Thinking->z_0114_5003 [arg0] 
arc(r_0114_0001__Thinking,z_0114_5003,arg0).
arc(r_0114_0003__made,r_0114_0001__Thinking,arg0).
arc(r_0114_0003__made,r_0114_0002__always,nim).
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_0114_5003 r_0114_0001__Thinking->z_0114_5003 [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,
    ? [Z_0114_5003,R_0114_0001__THINKING,R_0114_0002__ALWAYS,R_0114_0004__HIM,R_0114_0005__SLEEPY,R_0114_0003__MADE] :
      ( r_0114_0002__always(R_0114_0002__ALWAYS)
      & r_0114_0004__him(R_0114_0004__HIM)
      & r_0114_0005__sleepy(R_0114_0005__SLEEPY)
      & z_0114_5003(Z_0114_5003)
      & r_0114_0003__made(R_0114_0003__MADE)
      & has_prd(R_0114_0003__MADE,R_0114_0005__SLEEPY)
      & has_arg1(R_0114_0003__MADE,R_0114_0004__HIM)
      & has_nim(R_0114_0003__MADE,R_0114_0002__ALWAYS)
      & has_arg0(R_0114_0003__MADE,R_0114_0001__THINKING)
      & r_0114_0001__Thinking(R_0114_0001__THINKING)
      & has_arg0(R_0114_0001__THINKING,Z_0114_5003) ) ).