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

fof(formula,axiom,
    ? [R_0008_0001__NOWADAYS,R_0008_0002__HE,R_0008_0005__EXTREMELY,R_0008_0006__INTELLIGENT,R_0008_0004__AN_R_0008_0007__DOG,R_0008_0003__IS] :
      ( r_0008_0001__Nowadays(R_0008_0001__NOWADAYS)
      & r_0008_0002__he(R_0008_0002__HE)
      & r_0008_0005__extremely(R_0008_0005__EXTREMELY)
      & r_0008_0003__is(R_0008_0003__IS)
      & has_prd(R_0008_0003__IS,R_0008_0004__AN_R_0008_0007__DOG)
      & r_0008_0004__an_r_0008_0007__dog(R_0008_0004__AN_R_0008_0007__DOG)
      & has_attrib13(R_0008_0004__AN_R_0008_0007__DOG,R_0008_0006__INTELLIGENT)
      & r_0008_0006__intelligent(R_0008_0006__INTELLIGENT)
      & has_qual14(R_0008_0006__INTELLIGENT,R_0008_0005__EXTREMELY)
      & has_arg0(R_0008_0003__IS,R_0008_0002__HE)
      & has_nim2(R_0008_0003__IS,R_0008_0001__NOWADAYS) ) ).

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