( (FRAG (NP (D A;{a})
            (ADJP (ADJ different;{different}))
            (N style;{style})
            (PP (P-ROLE of;{of})
                (NP (NLYR (NLYR (N keyboard;{keyboard}))
                          (CONJP (CONJ and;{and})
                                 (NLYR (N keyboard;{keyboard})
                                       (N connector;{connector})))))))
        (PUNC .))
  (ID 41_a_paulfellows))

arc(r_0041_0001__A_r_0041_0003__style,r_0041_0002__different,attrib).
arc(r_0041_0001__A_r_0041_0003__style,r_0041_0006__and,r_0041_0004__of).
arc(r_0041_0006__and,r_0041_0005__keyboard,conj1).
arc(r_0041_0006__and,r_0041_0007__keyboard_r_0041_0008__connector,conj2).
arc(z_0041_5008,r_0041_0001__A_r_0041_0003__style,z_0041_5002).

fof(formula,axiom,
    ? [R_0041_0002__DIFFERENT,R_0041_0005__KEYBOARD,R_0041_0007__KEYBOARD_R_0041_0008__CONNECTOR,R_0041_0006__AND,R_0041_0001__A_R_0041_0003__STYLE,Z_0041_5008] :
      ( r_0041_0002__different(R_0041_0002__DIFFERENT)
      & r_0041_0005__keyboard(R_0041_0005__KEYBOARD)
      & r_0041_0007__keyboard_r_0041_0008__connector(R_0041_0007__KEYBOARD_R_0041_0008__CONNECTOR)
      & z_0041_5008(Z_0041_5008)
      & has_z_0041_5002(Z_0041_5008,R_0041_0001__A_R_0041_0003__STYLE)
      & r_0041_0001__A_r_0041_0003__style(R_0041_0001__A_R_0041_0003__STYLE)
      & has_r_0041_0004__of(R_0041_0001__A_R_0041_0003__STYLE,R_0041_0006__AND)
      & r_0041_0006__and(R_0041_0006__AND)
      & has_conj2(R_0041_0006__AND,R_0041_0007__KEYBOARD_R_0041_0008__CONNECTOR)
      & has_conj1(R_0041_0006__AND,R_0041_0005__KEYBOARD)
      & has_attrib(R_0041_0001__A_R_0041_0003__STYLE,R_0041_0002__DIFFERENT) ) ).