15_a_seiko_9r65
They are mechanical type and quartz type.
( (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))
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,attrib).
arc(r_0015_0005__and,r_0015_0004__type,conj1).
arc(r_0015_0005__and,r_0015_0006__quartz_r_0015_0007__type,conj2).
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_attrib(R_0015_0004__TYPE,R_0015_0003__MECHANICAL)
& has_arg0(R_0015_0002__ARE,R_0015_0001__THEY) ) ).