arc(r_0042_0001__A_r_0042_0003__style, r_0042_0002__different, attrib5).
arc(r_0042_0001__A_r_0042_0003__style, r_0042_0006__and, r_0042_0004__of).
arc(r_0042_0006__and, r_0042_0005__keyboard, conj1).
arc(r_0042_0006__and, r_0042_0007__keyboard_r_0042_0008__connector, conj2).
arc(z_000_42_a_paulfellows_1, r_0042_0001__A_r_0042_0003__style, nim2).

fof(formula,axiom,
    ? [Z_42_A_PAULFELLOWS_1,R_42_1_A_STYLE,R_42_2_DIFFERENT,R_42_6_AND,R_42_5_KEYBOARD,R_42_7_KEYBOARD_CONNECTOR] :
      ( different(R_42_2_DIFFERENT)
      & keyboard(R_42_5_KEYBOARD)
      & keyboard_connector(R_42_7_KEYBOARD_CONNECTOR)
      & z_42_a_paulfellows_1(Z_42_A_PAULFELLOWS_1)
      & nim2(Z_42_A_PAULFELLOWS_1,R_42_1_A_STYLE)
      & a_style(R_42_1_A_STYLE)
      & attrib5(R_42_1_A_STYLE,R_42_2_DIFFERENT)
      & of(R_42_1_A_STYLE,R_42_6_AND)
      & and(R_42_6_AND)
      & conj1(R_42_6_AND,R_42_5_KEYBOARD)
      & conj2(R_42_6_AND,R_42_7_KEYBOARD_CONNECTOR) ) ).

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