Context                Previous, Next                Top


42_a_paulfellows
A different style of keyboard and keyboard connector.

%3 r_0042_0001__A_r_0042_0003__style A style r_0042_0002__different different r_0042_0001__A_r_0042_0003__style->r_0042_0002__different [attrib] r_0042_0006__and and r_0042_0001__A_r_0042_0003__style->r_0042_0006__and of r_0042_0005__keyboard keyboard r_0042_0006__and->r_0042_0005__keyboard [conj1] r_0042_0007__keyboard_r_0042_0008__connector keyboard connector r_0042_0006__and->r_0042_0007__keyboard_r_0042_0008__connector [conj2] z_000_42_a_paulfellows_1 z_000_42_a_paulfellows_1->r_0042_0001__A_r_0042_0003__style [nim] 
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).


%3 z_000_42_a_paulfellows_1 r_0042_0001__A_r_0042_0003__style A style z_000_42_a_paulfellows_1->r_0042_0001__A_r_0042_0003__style [nim] r_0042_0006__and and r_0042_0001__A_r_0042_0003__style->r_0042_0006__and of r_0042_0002__different different r_0042_0001__A_r_0042_0003__style->r_0042_0002__different [attrib] r_0042_0007__keyboard_r_0042_0008__connector keyboard connector r_0042_0006__and->r_0042_0007__keyboard_r_0042_0008__connector [conj2] r_0042_0005__keyboard keyboard r_0042_0006__and->r_0042_0005__keyboard [conj1] 
fof(formula,axiom,
    ? [R_0042_0002__DIFFERENT,R_0042_0005__KEYBOARD,R_0042_0007__KEYBOARD_R_0042_0008__CONNECTOR,R_0042_0006__AND,R_0042_0001__A_R_0042_0003__STYLE,Z_000_42_A_PAULFELLOWS_1] :
      ( r_0042_0002__different(R_0042_0002__DIFFERENT)
      & r_0042_0005__keyboard(R_0042_0005__KEYBOARD)
      & r_0042_0007__keyboard_r_0042_0008__connector(R_0042_0007__KEYBOARD_R_0042_0008__CONNECTOR)
      & z_000_42_a_paulfellows_1(Z_000_42_A_PAULFELLOWS_1)
      & has_nim2(Z_000_42_A_PAULFELLOWS_1,R_0042_0001__A_R_0042_0003__STYLE)
      & r_0042_0001__A_r_0042_0003__style(R_0042_0001__A_R_0042_0003__STYLE)
      & has_r_0042_0004__of(R_0042_0001__A_R_0042_0003__STYLE,R_0042_0006__AND)
      & r_0042_0006__and(R_0042_0006__AND)
      & has_conj2(R_0042_0006__AND,R_0042_0007__KEYBOARD_R_0042_0008__CONNECTOR)
      & has_conj1(R_0042_0006__AND,R_0042_0005__KEYBOARD)
      & has_attrib5(R_0042_0001__A_R_0042_0003__STYLE,R_0042_0002__DIFFERENT) ) ).


n42_a_paulfellows n42_a_paulfellows__1_1_1_1 A n42_a_paulfellows__1_1_2_1_1 different n42_a_paulfellows__1_1_3_1 style n42_a_paulfellows__1_1_4_1_1 of n42_a_paulfellows__1_1_4_2_1_1_1_1 keyboard n42_a_paulfellows__1_1_4_2_1_2_1_1 and n42_a_paulfellows__1_1_4_2_1_2_2_1_1 keyboard n42_a_paulfellows__1_1_4_2_1_2_2_2_1 connector n42_a_paulfellows__1_2_1 . n42_a_paulfellows__1 FRAG n42_a_paulfellows__1_1 NP n42_a_paulfellows__1->n42_a_paulfellows__1_1 n42_a_paulfellows__1_2 PUNC n42_a_paulfellows__1->n42_a_paulfellows__1_2 n42_a_paulfellows__1_1_1 D n42_a_paulfellows__1_1->n42_a_paulfellows__1_1_1 n42_a_paulfellows__1_1_2 ADJP n42_a_paulfellows__1_1->n42_a_paulfellows__1_1_2 n42_a_paulfellows__1_1_3 N n42_a_paulfellows__1_1->n42_a_paulfellows__1_1_3 n42_a_paulfellows__1_1_4 PP n42_a_paulfellows__1_1->n42_a_paulfellows__1_1_4 n42_a_paulfellows__1_1_1->n42_a_paulfellows__1_1_1_1 n42_a_paulfellows__1_1_2_1 ADJ n42_a_paulfellows__1_1_2->n42_a_paulfellows__1_1_2_1 n42_a_paulfellows__1_1_2_1->n42_a_paulfellows__1_1_2_1_1 n42_a_paulfellows__1_1_3->n42_a_paulfellows__1_1_3_1 n42_a_paulfellows__1_1_4_1 P-ROLE n42_a_paulfellows__1_1_4->n42_a_paulfellows__1_1_4_1 n42_a_paulfellows__1_1_4_2 NP n42_a_paulfellows__1_1_4->n42_a_paulfellows__1_1_4_2 n42_a_paulfellows__1_1_4_1->n42_a_paulfellows__1_1_4_1_1 n42_a_paulfellows__1_1_4_2_1 NLYR n42_a_paulfellows__1_1_4_2->n42_a_paulfellows__1_1_4_2_1 n42_a_paulfellows__1_1_4_2_1_1 NLYR n42_a_paulfellows__1_1_4_2_1->n42_a_paulfellows__1_1_4_2_1_1 n42_a_paulfellows__1_1_4_2_1_2 CONJP n42_a_paulfellows__1_1_4_2_1->n42_a_paulfellows__1_1_4_2_1_2 n42_a_paulfellows__1_1_4_2_1_1_1 N n42_a_paulfellows__1_1_4_2_1_1->n42_a_paulfellows__1_1_4_2_1_1_1 n42_a_paulfellows__1_1_4_2_1_1_1->n42_a_paulfellows__1_1_4_2_1_1_1_1 n42_a_paulfellows__1_1_4_2_1_2_1 CONJ n42_a_paulfellows__1_1_4_2_1_2->n42_a_paulfellows__1_1_4_2_1_2_1 n42_a_paulfellows__1_1_4_2_1_2_2 NLYR n42_a_paulfellows__1_1_4_2_1_2->n42_a_paulfellows__1_1_4_2_1_2_2 n42_a_paulfellows__1_1_4_2_1_2_1->n42_a_paulfellows__1_1_4_2_1_2_1_1 n42_a_paulfellows__1_1_4_2_1_2_2_1 N n42_a_paulfellows__1_1_4_2_1_2_2->n42_a_paulfellows__1_1_4_2_1_2_2_1 n42_a_paulfellows__1_1_4_2_1_2_2_2 N n42_a_paulfellows__1_1_4_2_1_2_2->n42_a_paulfellows__1_1_4_2_1_2_2_2 n42_a_paulfellows__1_1_4_2_1_2_2_1->n42_a_paulfellows__1_1_4_2_1_2_2_1_1 n42_a_paulfellows__1_1_4_2_1_2_2_2->n42_a_paulfellows__1_1_4_2_1_2_2_2_1 n42_a_paulfellows__1_2->n42_a_paulfellows__1_2_1 
( (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))