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_15_2_ARE,R_15_1_THEY,R_15_5_AND,R_15_4_TYPE,R_15_3_MECHANICAL,R_15_6_QUARTZ_TYPE] :
      ( they(R_15_1_THEY)
      & mechanical(R_15_3_MECHANICAL)
      & quartz_type(R_15_6_QUARTZ_TYPE)
      & are(R_15_2_ARE,R_15_1_THEY,R_15_5_AND)
      & and(R_15_5_AND)
      & conj1(R_15_5_AND,R_15_4_TYPE)
      & type(R_15_4_TYPE)
      & attrib10(R_15_4_TYPE,R_15_3_MECHANICAL)
      & conj2(R_15_5_AND,R_15_6_QUARTZ_TYPE) ) ).


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))