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_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] 
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_4 They n15_a_seiko_9r65_6 are n15_a_seiko_9r65_12 mechanical n15_a_seiko_9r65_14 type n15_a_seiko_9r65_17 and n15_a_seiko_9r65_20 quartz n15_a_seiko_9r65_22 type n15_a_seiko_9r65_24 . n15_a_seiko_9r65_1 IP-MAT n15_a_seiko_9r65_2 NP-SBJ n15_a_seiko_9r65_1->n15_a_seiko_9r65_2 n15_a_seiko_9r65_5 BEP;_Ln_ n15_a_seiko_9r65_1->n15_a_seiko_9r65_5 n15_a_seiko_9r65_7 NP-PRD n15_a_seiko_9r65_1->n15_a_seiko_9r65_7 n15_a_seiko_9r65_23 PUNC n15_a_seiko_9r65_1->n15_a_seiko_9r65_23 n15_a_seiko_9r65_3 PRO n15_a_seiko_9r65_2->n15_a_seiko_9r65_3 n15_a_seiko_9r65_3->n15_a_seiko_9r65_4 n15_a_seiko_9r65_5->n15_a_seiko_9r65_6 n15_a_seiko_9r65_8 NLYR n15_a_seiko_9r65_7->n15_a_seiko_9r65_8 n15_a_seiko_9r65_9 NLYR n15_a_seiko_9r65_8->n15_a_seiko_9r65_9 n15_a_seiko_9r65_15 CONJP n15_a_seiko_9r65_8->n15_a_seiko_9r65_15 n15_a_seiko_9r65_10 ADJP n15_a_seiko_9r65_9->n15_a_seiko_9r65_10 n15_a_seiko_9r65_13 N n15_a_seiko_9r65_9->n15_a_seiko_9r65_13 n15_a_seiko_9r65_11 ADJ n15_a_seiko_9r65_10->n15_a_seiko_9r65_11 n15_a_seiko_9r65_11->n15_a_seiko_9r65_12 n15_a_seiko_9r65_13->n15_a_seiko_9r65_14 n15_a_seiko_9r65_16 CONJ n15_a_seiko_9r65_15->n15_a_seiko_9r65_16 n15_a_seiko_9r65_18 NLYR n15_a_seiko_9r65_15->n15_a_seiko_9r65_18 n15_a_seiko_9r65_16->n15_a_seiko_9r65_17 n15_a_seiko_9r65_19 N n15_a_seiko_9r65_18->n15_a_seiko_9r65_19 n15_a_seiko_9r65_21 N n15_a_seiko_9r65_18->n15_a_seiko_9r65_21 n15_a_seiko_9r65_19->n15_a_seiko_9r65_20 n15_a_seiko_9r65_21->n15_a_seiko_9r65_22 n15_a_seiko_9r65_23->n15_a_seiko_9r65_24 
( (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))