19_a_seiko_9r65
On the other hand, with quartz watches, the quartz is oscillated by a battery and the hands are turned by a motor.
( (IP-MAT (PP-NIM (P-ROLE On;{on})
(NP (D the;{the})
(ADJP (ADJ other;{other}))
(N hand;{hand})))
(PUNC ,)
(PP-NIM (P-ROLE with;{with})
(NP;{QUARTZ_WATCHES} (N quartz;{quartz})
(NS watches;{watch})))
(PUNC ,)
(ILYR (ILYR (NP-SBJ (D the;{the})
(N quartz;{quartz}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (VVN;_Tn_ oscillated;{oscillate})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N battery;{battery})))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(NS hands;{hand}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (VVN;_Tn_ turned;{turn})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N motor;{motor})))))))
(PUNC .))
(ID 19_a_seiko_9r65))
arc(r_0019_0002__the_r_0019_0004__hand,r_0019_0003__other,attrib).
arc(r_0019_0012__is,r_0019_0002__the_r_0019_0004__hand,r_0019_0001__On__nim).
arc(r_0019_0012__is,r_0019_0007__quartz_r_0019_0008__watches,r_0019_0006__with__nim).
arc(r_0019_0012__is,r_0019_0013__oscillated,scope).
arc(r_0019_0013__oscillated,r_0019_0010__the_r_0019_0011__quartz,arg1).
arc(r_0019_0013__oscillated,r_0019_0015__a_r_0019_0016__battery,r_0019_0014__by_arg0).
arc(r_0019_0017__and,r_0019_0012__is,conj1).
arc(r_0019_0017__and,r_0019_0020__are,conj2).
arc(r_0019_0020__are,r_0019_0002__the_r_0019_0004__hand,r_0019_0001__On__nim).
arc(r_0019_0020__are,r_0019_0007__quartz_r_0019_0008__watches,r_0019_0006__with__nim).
arc(r_0019_0020__are,r_0019_0021__turned,scope).
arc(r_0019_0021__turned,r_0019_0018__the_r_0019_0019__hands,arg1).
arc(r_0019_0021__turned,r_0019_0023__a_r_0019_0024__motor,r_0019_0022__by_arg0).
fof(formula,axiom,
? [R_0019_0003__OTHER,R_0019_0002__THE_R_0019_0004__HAND,R_0019_0007__QUARTZ_R_0019_0008__WATCHES,R_0019_0010__THE_R_0019_0011__QUARTZ,R_0019_0015__A_R_0019_0016__BATTERY,R_0019_0012__IS_R_0019_0013__OSCILLATED,R_0019_0018__THE_R_0019_0019__HANDS,R_0019_0023__A_R_0019_0024__MOTOR,R_0019_0020__ARE_R_0019_0021__TURNED,R_0019_0017__AND] :
( r_0019_0003__other(R_0019_0003__OTHER)
& r_0019_0007__quartz_r_0019_0008__watches(R_0019_0007__QUARTZ_R_0019_0008__WATCHES)
& r_0019_0010__the_r_0019_0011__quartz(R_0019_0010__THE_R_0019_0011__QUARTZ)
& r_0019_0015__a_r_0019_0016__battery(R_0019_0015__A_R_0019_0016__BATTERY)
& r_0019_0018__the_r_0019_0019__hands(R_0019_0018__THE_R_0019_0019__HANDS)
& r_0019_0023__a_r_0019_0024__motor(R_0019_0023__A_R_0019_0024__MOTOR)
& r_0019_0017__and(R_0019_0017__AND)
& has_conj2(R_0019_0017__AND,R_0019_0020__ARE_R_0019_0021__TURNED)
& r_0019_0020__are_r_0019_0021__turned(R_0019_0020__ARE_R_0019_0021__TURNED)
& has_r_0019_0022__by_arg0(R_0019_0020__ARE_R_0019_0021__TURNED,R_0019_0023__A_R_0019_0024__MOTOR)
& has_arg1(R_0019_0020__ARE_R_0019_0021__TURNED,R_0019_0018__THE_R_0019_0019__HANDS)
& has_r_0019_0006__with__nim(R_0019_0020__ARE_R_0019_0021__TURNED,R_0019_0007__QUARTZ_R_0019_0008__WATCHES)
& has_r_0019_0001__On__nim(R_0019_0020__ARE_R_0019_0021__TURNED,R_0019_0002__THE_R_0019_0004__HAND)
& r_0019_0002__the_r_0019_0004__hand(R_0019_0002__THE_R_0019_0004__HAND)
& has_attrib(R_0019_0002__THE_R_0019_0004__HAND,R_0019_0003__OTHER)
& has_conj1(R_0019_0017__AND,R_0019_0012__IS_R_0019_0013__OSCILLATED)
& r_0019_0012__is_r_0019_0013__oscillated(R_0019_0012__IS_R_0019_0013__OSCILLATED)
& has_r_0019_0014__by_arg0(R_0019_0012__IS_R_0019_0013__OSCILLATED,R_0019_0015__A_R_0019_0016__BATTERY)
& has_arg1(R_0019_0012__IS_R_0019_0013__OSCILLATED,R_0019_0010__THE_R_0019_0011__QUARTZ)
& has_r_0019_0006__with__nim(R_0019_0012__IS_R_0019_0013__OSCILLATED,R_0019_0007__QUARTZ_R_0019_0008__WATCHES)
& has_r_0019_0001__On__nim(R_0019_0012__IS_R_0019_0013__OSCILLATED,R_0019_0002__THE_R_0019_0004__HAND) ) ).