Context                Previous, Next                Top


8_a_stories_10_k58
Nowadays he is an extremely intelligent dog.

%3 r_0008_0003__is is r_0008_0001__Nowadays Nowadays r_0008_0003__is->r_0008_0001__Nowadays [nim] r_0008_0002__he he r_0008_0003__is->r_0008_0002__he [arg0] r_0008_0004__an_r_0008_0007__dog an dog r_0008_0003__is->r_0008_0004__an_r_0008_0007__dog [prd] r_0008_0006__intelligent intelligent r_0008_0004__an_r_0008_0007__dog->r_0008_0006__intelligent [attrib] r_0008_0005__extremely extremely r_0008_0006__intelligent->r_0008_0005__extremely [qual] 
arc(r_0008_0003__is, r_0008_0001__Nowadays, nim2).
arc(r_0008_0003__is, r_0008_0002__he, arg0).
arc(r_0008_0003__is, r_0008_0004__an_r_0008_0007__dog, prd).
arc(r_0008_0004__an_r_0008_0007__dog, r_0008_0006__intelligent, attrib13).
arc(r_0008_0006__intelligent, r_0008_0005__extremely, qual14).


%3 r_0008_0006__intelligent intelligent r_0008_0005__extremely extremely r_0008_0006__intelligent->r_0008_0005__extremely [qual] r_0008_0004__an_r_0008_0007__dog an dog r_0008_0004__an_r_0008_0007__dog->r_0008_0006__intelligent [attrib] r_0008_0003__is is r_0008_0003__is->r_0008_0004__an_r_0008_0007__dog [prd] r_0008_0002__he he r_0008_0003__is->r_0008_0002__he [arg0] r_0008_0001__Nowadays Nowadays r_0008_0003__is->r_0008_0001__Nowadays [nim] 
fof(formula,axiom,
    ? [R_8_3_IS,R_8_2_HE,R_8_1_NOWADAYS,R_8_4_AN_DOG,R_8_6_INTELLIGENT,R_8_5_EXTREMELY] :
      ( he(R_8_2_HE)
      & nowadays(R_8_1_NOWADAYS)
      & extremely(R_8_5_EXTREMELY)
      & is(R_8_3_IS,R_8_2_HE,R_8_4_AN_DOG)
      & an_dog(R_8_4_AN_DOG)
      & attrib13(R_8_4_AN_DOG,R_8_6_INTELLIGENT)
      & intelligent(R_8_6_INTELLIGENT)
      & qual14(R_8_6_INTELLIGENT,R_8_5_EXTREMELY)
      & nim2(R_8_3_IS,R_8_1_NOWADAYS) ) ).


n8_a_stories_10_k58 n8_a_stories_10_k58__1_1_1_1 Nowadays n8_a_stories_10_k58__1_2_1_1 he n8_a_stories_10_k58__1_3_1 is n8_a_stories_10_k58__1_4_1_1 an n8_a_stories_10_k58__1_4_2_1_1_1 extremely n8_a_stories_10_k58__1_4_2_2_1 intelligent n8_a_stories_10_k58__1_4_3_1 dog n8_a_stories_10_k58__1_5_1 . n8_a_stories_10_k58__1 IP-MAT n8_a_stories_10_k58__1_1 ADVP-NIM n8_a_stories_10_k58__1->n8_a_stories_10_k58__1_1 n8_a_stories_10_k58__1_2 NP-SBJ n8_a_stories_10_k58__1->n8_a_stories_10_k58__1_2 n8_a_stories_10_k58__1_3 BEP;_Ln_ n8_a_stories_10_k58__1->n8_a_stories_10_k58__1_3 n8_a_stories_10_k58__1_4 NP-PRD n8_a_stories_10_k58__1->n8_a_stories_10_k58__1_4 n8_a_stories_10_k58__1_5 PUNC n8_a_stories_10_k58__1->n8_a_stories_10_k58__1_5 n8_a_stories_10_k58__1_1_1 ADV n8_a_stories_10_k58__1_1->n8_a_stories_10_k58__1_1_1 n8_a_stories_10_k58__1_1_1->n8_a_stories_10_k58__1_1_1_1 n8_a_stories_10_k58__1_2_1 PRO n8_a_stories_10_k58__1_2->n8_a_stories_10_k58__1_2_1 n8_a_stories_10_k58__1_2_1->n8_a_stories_10_k58__1_2_1_1 n8_a_stories_10_k58__1_3->n8_a_stories_10_k58__1_3_1 n8_a_stories_10_k58__1_4_1 D n8_a_stories_10_k58__1_4->n8_a_stories_10_k58__1_4_1 n8_a_stories_10_k58__1_4_2 ADJP n8_a_stories_10_k58__1_4->n8_a_stories_10_k58__1_4_2 n8_a_stories_10_k58__1_4_3 N n8_a_stories_10_k58__1_4->n8_a_stories_10_k58__1_4_3 n8_a_stories_10_k58__1_4_1->n8_a_stories_10_k58__1_4_1_1 n8_a_stories_10_k58__1_4_2_1 ADVP n8_a_stories_10_k58__1_4_2->n8_a_stories_10_k58__1_4_2_1 n8_a_stories_10_k58__1_4_2_2 ADJ n8_a_stories_10_k58__1_4_2->n8_a_stories_10_k58__1_4_2_2 n8_a_stories_10_k58__1_4_2_1_1 ADV n8_a_stories_10_k58__1_4_2_1->n8_a_stories_10_k58__1_4_2_1_1 n8_a_stories_10_k58__1_4_2_1_1->n8_a_stories_10_k58__1_4_2_1_1_1 n8_a_stories_10_k58__1_4_2_2->n8_a_stories_10_k58__1_4_2_2_1 n8_a_stories_10_k58__1_4_3->n8_a_stories_10_k58__1_4_3_1 n8_a_stories_10_k58__1_5->n8_a_stories_10_k58__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Nowadays;{nowadays}))
          (NP-SBJ;{MICKEY} (PRO he;{he}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADVP (ADV extremely;{extremely}))
                        (ADJ intelligent;{intelligent}))
                  (N dog;{dog}))
          (PUNC .))
  (ID 8_a_stories_10_k58))