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

arc(r_0008_0003__is,r_0008_0001__Nowadays,nim).
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,attrib).
arc(r_0008_0006__intelligent,r_0008_0005__extremely,qual).

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_attrib(R_0008_0004__AN_R_0008_0007__DOG,R_0008_0006__INTELLIGENT)
      & r_0008_0006__intelligent(R_0008_0006__INTELLIGENT)
      & has_qual(R_0008_0006__INTELLIGENT,R_0008_0005__EXTREMELY)
      & has_arg0(R_0008_0003__IS,R_0008_0002__HE)
      & has_nim(R_0008_0003__IS,R_0008_0001__NOWADAYS) ) ).