arc(r_0077_0006__can, r_0077_0002__addition, r_0077_0001__In_nim5).
arc(r_0077_0006__can, r_0077_0007__be, scope).
arc(r_0077_0007__be, r_0077_0008__wound, scope).
arc(r_0077_0008__wound, r_0077_0004__the_r_0077_0005__mainspring, arg1).
arc(r_0077_0008__wound, z_000_77_a_seiko_9r65_21, arg0).
arc(r_0077_0009__by, r_0077_0006__can, scope).
arc(r_0077_0009__by, r_0077_0010__turning, restriction).
arc(r_0077_0010__turning, r_0077_0011__the_r_0077_0012__crown, arg1).
arc(r_0077_0010__turning, z_000_77_a_seiko_9r65_28, arg0).

fof(formula,axiom,
    ? [R_77_9_BY,R_77_10_TURNING,Z_77_A_SEIKO_9R65_28,R_77_11_THE_CROWN,R_77_6_CAN_BE_WOUND,Z_77_A_SEIKO_9R65_21,R_77_4_THE_MAINSPRING,R_77_2_ADDITION] :
      ( the_crown(R_77_11_THE_CROWN)
      & the_mainspring(R_77_4_THE_MAINSPRING)
      & addition(R_77_2_ADDITION)
      & by(R_77_9_BY)
      & conj1(R_77_9_BY,R_77_10_TURNING)
      & turning(R_77_10_TURNING,Z_77_A_SEIKO_9R65_28,R_77_11_THE_CROWN)
      & conj2(R_77_9_BY,R_77_6_CAN_BE_WOUND)
      & can_be_wound(R_77_6_CAN_BE_WOUND,Z_77_A_SEIKO_9R65_21,R_77_4_THE_MAINSPRING)
      & in_nim5(R_77_6_CAN_BE_WOUND,R_77_2_ADDITION) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})))
          (PUNC ,)
          (NP-SBJ;{MAINSPRING} (D the;{the})
                               (N mainspring;{mainspring}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ wound;{wind})))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL3 (VAG;_Tn_ turning;{turn})
                            (NP-OB1 (D the;{the})
                                    (N crown;{crown}))))
          (PUNC .))
  (ID 77_a_seiko_9r65))