( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (ADVP-NIM (ADV surprisingly;{surprisingly}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NLYR (NLYR (NLYR (N photography;{photography}))
                              (CONJP (CONJ and;{and})
                                     (NLYR (N painting;{painting})))))
                  (NS courses;{course}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (ADJ popular;{popular}))
          (PUNC .))
  (ID 12_a_fce_0101_2001_06))

arc(r_0012_0010__were,r_0012_0001__However,nim).
arc(r_0012_0010__were,r_0012_0003__surprisingly,nim).
arc(r_0012_0010__were,r_0012_0005__the_r_0012_0006__photography_r_0012_0007__and_r_0012_0008__painting_r_0012_0009__courses,arg0).
arc(r_0012_0010__were,r_0012_0012__popular,prd).
arc(r_0012_0012__popular,r_0012_0011__very,qual).

fof(formula,axiom,
    ? [R_0012_0001__HOWEVER,R_0012_0003__SURPRISINGLY,R_0012_0005__THE_R_0012_0006__PHOTOGRAPHY_R_0012_0007__AND_R_0012_0008__PAINTING_R_0012_0009__COURSES,R_0012_0011__VERY,R_0012_0012__POPULAR,R_0012_0010__WERE] :
      ( r_0012_0001__However(R_0012_0001__HOWEVER)
      & r_0012_0003__surprisingly(R_0012_0003__SURPRISINGLY)
      & r_0012_0005__the_r_0012_0006__photography_r_0012_0007__and_r_0012_0008__painting_r_0012_0009__courses(R_0012_0005__THE_R_0012_0006__PHOTOGRAPHY_R_0012_0007__AND_R_0012_0008__PAINTING_R_0012_0009__COURSES)
      & r_0012_0011__very(R_0012_0011__VERY)
      & r_0012_0010__were(R_0012_0010__WERE)
      & has_prd(R_0012_0010__WERE,R_0012_0012__POPULAR)
      & r_0012_0012__popular(R_0012_0012__POPULAR)
      & has_qual(R_0012_0012__POPULAR,R_0012_0011__VERY)
      & has_arg0(R_0012_0010__WERE,R_0012_0005__THE_R_0012_0006__PHOTOGRAPHY_R_0012_0007__AND_R_0012_0008__PAINTING_R_0012_0009__COURSES)
      & has_nim(R_0012_0010__WERE,R_0012_0003__SURPRISINGLY)
      & has_nim(R_0012_0010__WERE,R_0012_0001__HOWEVER) ) ).