Context                Previous, Next                Top


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

%3 r_0075_0001___white_circle__r_0075_0004__is white circle  is r_0075_0002__This_r_0075_0003__watch This watch r_0075_0001___white_circle__r_0075_0004__is->r_0075_0002__This_r_0075_0003__watch [arg0] r_0075_0005__an_r_0075_0008__type an type r_0075_0001___white_circle__r_0075_0004__is->r_0075_0005__an_r_0075_0008__type [prd] r_0075_0006__automatic automatic r_0075_0005__an_r_0075_0008__type->r_0075_0006__automatic [attrib] r_0075_0007__winding winding r_0075_0005__an_r_0075_0008__type->r_0075_0007__winding [attrib] 
arc(r_0075_0001___white_circle__r_0075_0004__is, r_0075_0002__This_r_0075_0003__watch, arg0).
arc(r_0075_0001___white_circle__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, attrib14).
arc(r_0075_0005__an_r_0075_0008__type, r_0075_0007__winding, attrib17).


%3 r_0075_0001___white_circle__r_0075_0004__is white circle  is r_0075_0002__This_r_0075_0003__watch This watch r_0075_0001___white_circle__r_0075_0004__is->r_0075_0002__This_r_0075_0003__watch [arg0] r_0075_0005__an_r_0075_0008__type an type r_0075_0001___white_circle__r_0075_0004__is->r_0075_0005__an_r_0075_0008__type [prd] r_0075_0006__automatic automatic r_0075_0005__an_r_0075_0008__type->r_0075_0006__automatic [attrib] r_0075_0007__winding winding r_0075_0005__an_r_0075_0008__type->r_0075_0007__winding [attrib] 
fof(formula,axiom,
    ? [R_75_1__WHITE_CIRCLE_IS,R_75_2_THIS_WATCH,R_75_5_AN_TYPE,R_75_6_AUTOMATIC,R_75_7_WINDING] :
      ( this_watch(R_75_2_THIS_WATCH)
      & automatic(R_75_6_AUTOMATIC)
      & winding(R_75_7_WINDING)
      & _white_circle_is(R_75_1__WHITE_CIRCLE_IS,R_75_2_THIS_WATCH,R_75_5_AN_TYPE)
      & an_type(R_75_5_AN_TYPE)
      & attrib14(R_75_5_AN_TYPE,R_75_6_AUTOMATIC)
      & attrib17(R_75_5_AN_TYPE,R_75_7_WINDING) ) ).


n75_a_seiko_9r65 n75_a_seiko_9r65_3 <white_circle> n75_a_seiko_9r65_6 This n75_a_seiko_9r65_8 watch n75_a_seiko_9r65_10 is n75_a_seiko_9r65_13 an n75_a_seiko_9r65_16 automatic n75_a_seiko_9r65_19 winding n75_a_seiko_9r65_21 type n75_a_seiko_9r65_23 -LRB- n75_a_seiko_9r65_27 with n75_a_seiko_9r65_31 manual n75_a_seiko_9r65_34 winding n75_a_seiko_9r65_36 function n75_a_seiko_9r65_38 -RRB- n75_a_seiko_9r65_40 . n75_a_seiko_9r65_1 IP-MAT n75_a_seiko_9r65_2 SYM n75_a_seiko_9r65_1->n75_a_seiko_9r65_2 n75_a_seiko_9r65_4 NP-SBJ n75_a_seiko_9r65_1->n75_a_seiko_9r65_4 n75_a_seiko_9r65_9 BEP;_Ln_ n75_a_seiko_9r65_1->n75_a_seiko_9r65_9 n75_a_seiko_9r65_11 NP-PRD n75_a_seiko_9r65_1->n75_a_seiko_9r65_11 n75_a_seiko_9r65_39 PUNC n75_a_seiko_9r65_1->n75_a_seiko_9r65_39 n75_a_seiko_9r65_2->n75_a_seiko_9r65_3 n75_a_seiko_9r65_5 D n75_a_seiko_9r65_4->n75_a_seiko_9r65_5 n75_a_seiko_9r65_7 N n75_a_seiko_9r65_4->n75_a_seiko_9r65_7 n75_a_seiko_9r65_5->n75_a_seiko_9r65_6 n75_a_seiko_9r65_7->n75_a_seiko_9r65_8 n75_a_seiko_9r65_9->n75_a_seiko_9r65_10 n75_a_seiko_9r65_12 D n75_a_seiko_9r65_11->n75_a_seiko_9r65_12 n75_a_seiko_9r65_14 ADJP n75_a_seiko_9r65_11->n75_a_seiko_9r65_14 n75_a_seiko_9r65_17 ADJP n75_a_seiko_9r65_11->n75_a_seiko_9r65_17 n75_a_seiko_9r65_20 N n75_a_seiko_9r65_11->n75_a_seiko_9r65_20 n75_a_seiko_9r65_22 PULB n75_a_seiko_9r65_11->n75_a_seiko_9r65_22 n75_a_seiko_9r65_24 PRN n75_a_seiko_9r65_11->n75_a_seiko_9r65_24 n75_a_seiko_9r65_37 PURB n75_a_seiko_9r65_11->n75_a_seiko_9r65_37 n75_a_seiko_9r65_12->n75_a_seiko_9r65_13 n75_a_seiko_9r65_15 ADJ n75_a_seiko_9r65_14->n75_a_seiko_9r65_15 n75_a_seiko_9r65_15->n75_a_seiko_9r65_16 n75_a_seiko_9r65_18 ADJ n75_a_seiko_9r65_17->n75_a_seiko_9r65_18 n75_a_seiko_9r65_18->n75_a_seiko_9r65_19 n75_a_seiko_9r65_20->n75_a_seiko_9r65_21 n75_a_seiko_9r65_22->n75_a_seiko_9r65_23 n75_a_seiko_9r65_25 PP n75_a_seiko_9r65_24->n75_a_seiko_9r65_25 n75_a_seiko_9r65_26 P-ROLE n75_a_seiko_9r65_25->n75_a_seiko_9r65_26 n75_a_seiko_9r65_28 NP n75_a_seiko_9r65_25->n75_a_seiko_9r65_28 n75_a_seiko_9r65_26->n75_a_seiko_9r65_27 n75_a_seiko_9r65_29 ADJP n75_a_seiko_9r65_28->n75_a_seiko_9r65_29 n75_a_seiko_9r65_32 ADJP n75_a_seiko_9r65_28->n75_a_seiko_9r65_32 n75_a_seiko_9r65_35 N n75_a_seiko_9r65_28->n75_a_seiko_9r65_35 n75_a_seiko_9r65_30 ADJ n75_a_seiko_9r65_29->n75_a_seiko_9r65_30 n75_a_seiko_9r65_30->n75_a_seiko_9r65_31 n75_a_seiko_9r65_33 ADJ n75_a_seiko_9r65_32->n75_a_seiko_9r65_33 n75_a_seiko_9r65_33->n75_a_seiko_9r65_34 n75_a_seiko_9r65_35->n75_a_seiko_9r65_36 n75_a_seiko_9r65_37->n75_a_seiko_9r65_38 n75_a_seiko_9r65_39->n75_a_seiko_9r65_40 
( (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))