Context                Previous, Next                Top


15_a_seiko_9r65
They are mechanical type and quartz type.

%3 r_0015_0002__are are r_0015_0001__They They r_0015_0002__are->r_0015_0001__They [arg0] r_0015_0005__and and r_0015_0002__are->r_0015_0005__and [prd] r_0015_0004__type type r_0015_0005__and->r_0015_0004__type [conj1] r_0015_0006__quartz_r_0015_0007__type quartz type r_0015_0005__and->r_0015_0006__quartz_r_0015_0007__type [conj2] r_0015_0003__mechanical mechanical r_0015_0004__type->r_0015_0003__mechanical [attrib] 
arc(r_0015_0002__are, r_0015_0001__They, arg0).
arc(r_0015_0002__are, r_0015_0005__and, prd).
arc(r_0015_0004__type, r_0015_0003__mechanical, attrib10).
arc(r_0015_0005__and, r_0015_0004__type, conj1).
arc(r_0015_0005__and, r_0015_0006__quartz_r_0015_0007__type, conj2).


%3 r_0015_0005__and and r_0015_0006__quartz_r_0015_0007__type quartz type r_0015_0005__and->r_0015_0006__quartz_r_0015_0007__type [conj2] r_0015_0004__type type r_0015_0005__and->r_0015_0004__type [conj1] r_0015_0003__mechanical mechanical r_0015_0004__type->r_0015_0003__mechanical [attrib] r_0015_0002__are are r_0015_0002__are->r_0015_0005__and [prd] r_0015_0001__They They r_0015_0002__are->r_0015_0001__They [arg0] 
fof(formula,axiom,
    ? [R_0015_0001__THEY,R_0015_0003__MECHANICAL,R_0015_0004__TYPE,R_0015_0006__QUARTZ_R_0015_0007__TYPE,R_0015_0005__AND,R_0015_0002__ARE] :
      ( r_0015_0001__They(R_0015_0001__THEY)
      & r_0015_0003__mechanical(R_0015_0003__MECHANICAL)
      & r_0015_0006__quartz_r_0015_0007__type(R_0015_0006__QUARTZ_R_0015_0007__TYPE)
      & r_0015_0002__are(R_0015_0002__ARE)
      & has_prd(R_0015_0002__ARE,R_0015_0005__AND)
      & r_0015_0005__and(R_0015_0005__AND)
      & has_conj2(R_0015_0005__AND,R_0015_0006__QUARTZ_R_0015_0007__TYPE)
      & has_conj1(R_0015_0005__AND,R_0015_0004__TYPE)
      & r_0015_0004__type(R_0015_0004__TYPE)
      & has_attrib10(R_0015_0004__TYPE,R_0015_0003__MECHANICAL)
      & has_arg0(R_0015_0002__ARE,R_0015_0001__THEY) ) ).


n15_a_seiko_9r65 n15_a_seiko_9r65__1_1_1_1 They n15_a_seiko_9r65__1_2_1 are n15_a_seiko_9r65__1_3_1_1_1_1_1 mechanical n15_a_seiko_9r65__1_3_1_1_2_1 type n15_a_seiko_9r65__1_3_1_2_1_1 and n15_a_seiko_9r65__1_3_1_2_2_1_1 quartz n15_a_seiko_9r65__1_3_1_2_2_2_1 type n15_a_seiko_9r65__1_4_1 . n15_a_seiko_9r65__1 IP-MAT n15_a_seiko_9r65__1_1 NP-SBJ n15_a_seiko_9r65__1->n15_a_seiko_9r65__1_1 n15_a_seiko_9r65__1_2 BEP;_Ln_ n15_a_seiko_9r65__1->n15_a_seiko_9r65__1_2 n15_a_seiko_9r65__1_3 NP-PRD n15_a_seiko_9r65__1->n15_a_seiko_9r65__1_3 n15_a_seiko_9r65__1_4 PUNC n15_a_seiko_9r65__1->n15_a_seiko_9r65__1_4 n15_a_seiko_9r65__1_1_1 PRO n15_a_seiko_9r65__1_1->n15_a_seiko_9r65__1_1_1 n15_a_seiko_9r65__1_1_1->n15_a_seiko_9r65__1_1_1_1 n15_a_seiko_9r65__1_2->n15_a_seiko_9r65__1_2_1 n15_a_seiko_9r65__1_3_1 NLYR n15_a_seiko_9r65__1_3->n15_a_seiko_9r65__1_3_1 n15_a_seiko_9r65__1_3_1_1 NLYR n15_a_seiko_9r65__1_3_1->n15_a_seiko_9r65__1_3_1_1 n15_a_seiko_9r65__1_3_1_2 CONJP n15_a_seiko_9r65__1_3_1->n15_a_seiko_9r65__1_3_1_2 n15_a_seiko_9r65__1_3_1_1_1 ADJP n15_a_seiko_9r65__1_3_1_1->n15_a_seiko_9r65__1_3_1_1_1 n15_a_seiko_9r65__1_3_1_1_2 N n15_a_seiko_9r65__1_3_1_1->n15_a_seiko_9r65__1_3_1_1_2 n15_a_seiko_9r65__1_3_1_1_1_1 ADJ n15_a_seiko_9r65__1_3_1_1_1->n15_a_seiko_9r65__1_3_1_1_1_1 n15_a_seiko_9r65__1_3_1_1_1_1->n15_a_seiko_9r65__1_3_1_1_1_1_1 n15_a_seiko_9r65__1_3_1_1_2->n15_a_seiko_9r65__1_3_1_1_2_1 n15_a_seiko_9r65__1_3_1_2_1 CONJ n15_a_seiko_9r65__1_3_1_2->n15_a_seiko_9r65__1_3_1_2_1 n15_a_seiko_9r65__1_3_1_2_2 NLYR n15_a_seiko_9r65__1_3_1_2->n15_a_seiko_9r65__1_3_1_2_2 n15_a_seiko_9r65__1_3_1_2_1->n15_a_seiko_9r65__1_3_1_2_1_1 n15_a_seiko_9r65__1_3_1_2_2_1 N n15_a_seiko_9r65__1_3_1_2_2->n15_a_seiko_9r65__1_3_1_2_2_1 n15_a_seiko_9r65__1_3_1_2_2_2 N n15_a_seiko_9r65__1_3_1_2_2->n15_a_seiko_9r65__1_3_1_2_2_2 n15_a_seiko_9r65__1_3_1_2_2_1->n15_a_seiko_9r65__1_3_1_2_2_1_1 n15_a_seiko_9r65__1_3_1_2_2_2->n15_a_seiko_9r65__1_3_1_2_2_2_1 n15_a_seiko_9r65__1_4->n15_a_seiko_9r65__1_4_1 
( (IP-MAT (NP-SBJ;{TYPES} (PRO They;{they}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (ADJP (ADJ mechanical;{mechanical}))
                              (N type;{type}))
                        (CONJP (CONJ and;{and})
                               (NLYR (N quartz;{quartz})
                                     (N type;{type})))))
          (PUNC .))
  (ID 15_a_seiko_9r65))