13_a_seiko_9r65
Let's start from the drive method of a watch.
( (IP-IMP (VB;_Cn.i_ Let;{let})
(NP-OB1 (PRO <apos>s;{we}))
(IP-INF-PRD (VB;_Ipr_ start;{start[from]})
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(N drive;{drive})
(N method;{method})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N watch;{watch}))))))
(PUNC .))
(ID 13_a_seiko_9r65))
arc(r_0013_0001__Let,r_0013_0002___apos_s,arg1).
arc(r_0013_0001__Let,r_0013_0003__start_r_0013_0004__from,prd).
arc(r_0013_0001__Let,z_0013_5002,arg0).
arc(r_0013_0003__start_r_0013_0004__from,r_0013_0005__the_r_0013_0006__drive_r_0013_0007__method,arg1).
arc(r_0013_0003__start_r_0013_0004__from,z_0013_5005,arg0).
arc(r_0013_0005__the_r_0013_0006__drive_r_0013_0007__method,r_0013_0009__a_r_0013_0010__watch,r_0013_0008__of).
fof(formula,axiom,
? [R_0013_0002___APOS_S,R_0013_0009__A_R_0013_0010__WATCH,R_0013_0005__THE_R_0013_0006__DRIVE_R_0013_0007__METHOD,Z_0013_5005,R_0013_0003__START_R_0013_0004__FROM,Z_0013_5002,R_0013_0001__LET] :
( r_0013_0002___apos_s(R_0013_0002___APOS_S)
& r_0013_0009__a_r_0013_0010__watch(R_0013_0009__A_R_0013_0010__WATCH)
& z_0013_5002(Z_0013_5002)
& z_0013_5005(Z_0013_5005)
& r_0013_0001__Let(R_0013_0001__LET)
& has_arg0(R_0013_0001__LET,Z_0013_5002)
& has_prd(R_0013_0001__LET,R_0013_0003__START_R_0013_0004__FROM)
& r_0013_0003__start_r_0013_0004__from(R_0013_0003__START_R_0013_0004__FROM)
& has_arg0(R_0013_0003__START_R_0013_0004__FROM,Z_0013_5005)
& has_arg1(R_0013_0003__START_R_0013_0004__FROM,R_0013_0005__THE_R_0013_0006__DRIVE_R_0013_0007__METHOD)
& r_0013_0005__the_r_0013_0006__drive_r_0013_0007__method(R_0013_0005__THE_R_0013_0006__DRIVE_R_0013_0007__METHOD)
& has_r_0013_0008__of(R_0013_0005__THE_R_0013_0006__DRIVE_R_0013_0007__METHOD,R_0013_0009__A_R_0013_0010__WATCH)
& has_arg1(R_0013_0001__LET,R_0013_0002___APOS_S) ) ).