TSPC 75_a_seiko

75_a_seiko_9r65
<white circle> This watch is an automatic winding type (with manual winding function).

( (IP-MAT (SYM <white_circle>)
          (NP-SBJ (D This;{this})
                  (N watch;{watch}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADJ automatic;{automatic}))
                  (ADJP (ADJ winding;{winding}))
                  (N type;{type})
                  (PULB -LRB-)
                  (PRN (PP (P-ROLE with;{with})
                           (NP (ADJP (ADJ manual;{manual}))
                               (ADJP (ADJ winding;{winding}))
                               (N function;{function}))))
                  (PURB -RRB-))
          (PUNC .))
  (ID 75_a_seiko_9r65))

arc(r_0075_0004__is,r_0075_0002__This_r_0075_0003__watch,arg0).
arc(r_0075_0004__is,r_0075_0005__an_r_0075_0008__type,prd).
arc(r_0075_0005__an_r_0075_0008__type,r_0075_0006__automatic,attrib).
arc(r_0075_0005__an_r_0075_0008__type,r_0075_0007__winding,attrib).
arc(r_0075_0005__an_r_0075_0008__type,r_0075_0013__function,prnr_0075_0010__with).
arc(r_0075_0013__function,r_0075_0011__manual,attrib).
arc(r_0075_0013__function,r_0075_0012__winding,attrib).

fof(formula,axiom,
    ? [R_0075_0002__THIS_R_0075_0003__WATCH,R_0075_0006__AUTOMATIC,R_0075_0007__WINDING,R_0075_0011__MANUAL,R_0075_0012__WINDING,R_0075_0013__FUNCTION,R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0004__IS] :
      ( r_0075_0002__This_r_0075_0003__watch(R_0075_0002__THIS_R_0075_0003__WATCH)
      & r_0075_0006__automatic(R_0075_0006__AUTOMATIC)
      & r_0075_0007__winding(R_0075_0007__WINDING)
      & r_0075_0011__manual(R_0075_0011__MANUAL)
      & r_0075_0012__winding(R_0075_0012__WINDING)
      & r_0075_0004__is(R_0075_0004__IS)
      & has_prd(R_0075_0004__IS,R_0075_0005__AN_R_0075_0008__TYPE)
      & r_0075_0005__an_r_0075_0008__type(R_0075_0005__AN_R_0075_0008__TYPE)
      & has_prnr_0075_0010__with(R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0013__FUNCTION)
      & r_0075_0013__function(R_0075_0013__FUNCTION)
      & has_attrib(R_0075_0013__FUNCTION,R_0075_0012__WINDING)
      & has_attrib(R_0075_0013__FUNCTION,R_0075_0011__MANUAL)
      & has_attrib(R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0007__WINDING)
      & has_attrib(R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0006__AUTOMATIC)
      & has_arg0(R_0075_0004__IS,R_0075_0002__THIS_R_0075_0003__WATCH) ) ).