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_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]
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_4 Nowadays n8_a_stories_10_k58_7 he n8_a_stories_10_k58_9 is n8_a_stories_10_k58_12 an n8_a_stories_10_k58_16 extremely n8_a_stories_10_k58_18 intelligent n8_a_stories_10_k58_20 dog n8_a_stories_10_k58_22 . n8_a_stories_10_k58_1 IP-MAT n8_a_stories_10_k58_2 ADVP-NIM n8_a_stories_10_k58_1->n8_a_stories_10_k58_2 n8_a_stories_10_k58_5 NP-SBJ n8_a_stories_10_k58_1->n8_a_stories_10_k58_5 n8_a_stories_10_k58_8 BEP;_Ln_ n8_a_stories_10_k58_1->n8_a_stories_10_k58_8 n8_a_stories_10_k58_10 NP-PRD n8_a_stories_10_k58_1->n8_a_stories_10_k58_10 n8_a_stories_10_k58_21 PUNC n8_a_stories_10_k58_1->n8_a_stories_10_k58_21 n8_a_stories_10_k58_3 ADV n8_a_stories_10_k58_2->n8_a_stories_10_k58_3 n8_a_stories_10_k58_3->n8_a_stories_10_k58_4 n8_a_stories_10_k58_6 PRO n8_a_stories_10_k58_5->n8_a_stories_10_k58_6 n8_a_stories_10_k58_6->n8_a_stories_10_k58_7 n8_a_stories_10_k58_8->n8_a_stories_10_k58_9 n8_a_stories_10_k58_11 D n8_a_stories_10_k58_10->n8_a_stories_10_k58_11 n8_a_stories_10_k58_13 ADJP n8_a_stories_10_k58_10->n8_a_stories_10_k58_13 n8_a_stories_10_k58_19 N n8_a_stories_10_k58_10->n8_a_stories_10_k58_19 n8_a_stories_10_k58_11->n8_a_stories_10_k58_12 n8_a_stories_10_k58_14 ADVP n8_a_stories_10_k58_13->n8_a_stories_10_k58_14 n8_a_stories_10_k58_17 ADJ n8_a_stories_10_k58_13->n8_a_stories_10_k58_17 n8_a_stories_10_k58_15 ADV n8_a_stories_10_k58_14->n8_a_stories_10_k58_15 n8_a_stories_10_k58_15->n8_a_stories_10_k58_16 n8_a_stories_10_k58_17->n8_a_stories_10_k58_18 n8_a_stories_10_k58_19->n8_a_stories_10_k58_20 n8_a_stories_10_k58_21->n8_a_stories_10_k58_22
( (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))