Context                Previous, Next                Top


64_a_stuck_japan
You start to appreciate the quirks - like the four petrol station attendants who clean all your car windows while they fill the tank and bow in unison as you depart.

%3 r_0064_0002__start start r_0064_0003__to_r_0064_0004__appreciate to appreciate r_0064_0002__start->r_0064_0003__to_r_0064_0004__appreciate [scope] r_0064_0001__You You r_0064_0003__to_r_0064_0004__appreciate->r_0064_0001__You [arg0] r_0064_0005__the_r_0064_0006__quirks the quirks r_0064_0003__to_r_0064_0004__appreciate->r_0064_0005__the_r_0064_0006__quirks [arg1] r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants the four petrol station attendants r_0064_0005__the_r_0064_0006__quirks->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants like r_0064_0015__clean clean r_0064_0015__clean->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows all car windows r_0064_0015__clean->r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows [arg1] r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows->r_0064_0001__You [gen] r_0064_0020__while while r_0064_0020__while->r_0064_0015__clean [scope] r_0064_0022__fill fill r_0064_0020__while->r_0064_0022__fill [restriction] r_0064_0022__fill->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0023__the_r_0064_0024__tank the tank r_0064_0022__fill->r_0064_0023__the_r_0064_0024__tank [arg1] r_0064_0025__and and r_0064_0025__and->r_0064_0020__while [conj1] r_0064_0029__as as r_0064_0025__and->r_0064_0029__as [conj2] r_0064_0026__bow bow r_0064_0029__as->r_0064_0026__bow [scope] r_0064_0031__depart depart r_0064_0029__as->r_0064_0031__depart [restriction] r_0064_0026__bow->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0028__unison unison r_0064_0026__bow->r_0064_0028__unison in [nim] r_0064_0031__depart->r_0064_0001__You [arg0] 
arc(r_0064_0002__start, r_0064_0003__to_r_0064_0004__appreciate, scope).
arc(r_0064_0003__to_r_0064_0004__appreciate, r_0064_0001__You, arg0).
arc(r_0064_0003__to_r_0064_0004__appreciate, r_0064_0005__the_r_0064_0006__quirks, arg1).
arc(r_0064_0005__the_r_0064_0006__quirks, r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants, r_0064_0008__like).
arc(r_0064_0015__clean, r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants, arg0).
arc(r_0064_0015__clean, r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows, arg1).
arc(r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows, r_0064_0001__You, gen).
arc(r_0064_0020__while, r_0064_0015__clean, scope).
arc(r_0064_0020__while, r_0064_0022__fill, restriction).
arc(r_0064_0022__fill, r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants, arg0).
arc(r_0064_0022__fill, r_0064_0023__the_r_0064_0024__tank, arg1).
arc(r_0064_0025__and, r_0064_0020__while, conj1).
arc(r_0064_0025__and, r_0064_0029__as, conj2).
arc(r_0064_0026__bow, r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants, arg0).
arc(r_0064_0026__bow, r_0064_0028__unison, r_0064_0027__in_nim74).
arc(r_0064_0029__as, r_0064_0026__bow, scope).
arc(r_0064_0029__as, r_0064_0031__depart, restriction).
arc(r_0064_0031__depart, r_0064_0001__You, arg0).


%3 r_0064_0002__start_r_0064_0003__to_r_0064_0004__appreciate start to appreciate r_0064_0001__You You r_0064_0002__start_r_0064_0003__to_r_0064_0004__appreciate->r_0064_0001__You [arg0] r_0064_0005__the_r_0064_0006__quirks the quirks r_0064_0002__start_r_0064_0003__to_r_0064_0004__appreciate->r_0064_0005__the_r_0064_0006__quirks [arg1] r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants the four petrol station attendants r_0064_0005__the_r_0064_0006__quirks->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants like r_0064_0015__clean clean r_0064_0015__clean->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows all car windows r_0064_0015__clean->r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows [arg1] r_0064_0016__all_r_0064_0018__car_r_0064_0019__windows->r_0064_0001__You [gen] r_0064_0020__while while r_0064_0020__while->r_0064_0015__clean [conj2] r_0064_0022__fill fill r_0064_0020__while->r_0064_0022__fill [conj1] r_0064_0022__fill->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0023__the_r_0064_0024__tank the tank r_0064_0022__fill->r_0064_0023__the_r_0064_0024__tank [arg1] r_0064_0025__and and r_0064_0025__and->r_0064_0020__while [conj1] r_0064_0029__as as r_0064_0025__and->r_0064_0029__as [conj2] r_0064_0026__bow bow r_0064_0029__as->r_0064_0026__bow [conj2] r_0064_0031__depart depart r_0064_0029__as->r_0064_0031__depart [conj1] r_0064_0026__bow->r_0064_0009__the_r_0064_0010__four_r_0064_0011__petrol_r_0064_0012__station_r_0064_0013__attendants [arg0] r_0064_0028__unison unison r_0064_0026__bow->r_0064_0028__unison in [nim] r_0064_0031__depart->r_0064_0001__You [arg0] 
fof(formula,axiom,
    ? [R_64_2_START_TO_APPRECIATE,R_64_5_THE_QUIRKS,R_64_25_AND,R_64_20_WHILE,R_64_22_FILL,R_64_23_THE_TANK,R_64_15_CLEAN,R_64_16_ALL_CAR_WINDOWS,R_64_29_AS,R_64_31_DEPART,R_64_1_YOU,R_64_26_BOW,R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS,R_64_28_UNISON] :
      ( the_tank(R_64_23_THE_TANK)
      & you(R_64_1_YOU)
      & the_four_petrol_station_attendants(R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS)
      & unison(R_64_28_UNISON)
      & start_to_appreciate(R_64_2_START_TO_APPRECIATE,R_64_1_YOU,R_64_5_THE_QUIRKS)
      & the_quirks(R_64_5_THE_QUIRKS)
      & like(R_64_5_THE_QUIRKS,R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS)
      & and(R_64_25_AND)
      & conj1(R_64_25_AND,R_64_20_WHILE)
      & while(R_64_20_WHILE)
      & conj1(R_64_20_WHILE,R_64_22_FILL)
      & fill(R_64_22_FILL,R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS,R_64_23_THE_TANK)
      & conj2(R_64_20_WHILE,R_64_15_CLEAN)
      & clean(R_64_15_CLEAN,R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS,R_64_16_ALL_CAR_WINDOWS)
      & all_car_windows(R_64_16_ALL_CAR_WINDOWS)
      & gen(R_64_16_ALL_CAR_WINDOWS,R_64_1_YOU)
      & conj2(R_64_25_AND,R_64_29_AS)
      & as(R_64_29_AS)
      & conj1(R_64_29_AS,R_64_31_DEPART)
      & depart(R_64_31_DEPART,R_64_1_YOU)
      & conj2(R_64_29_AS,R_64_26_BOW)
      & bow(R_64_26_BOW,R_64_9_THE_FOUR_PETROL_STATION_ATTENDANTS)
      & in_nim74(R_64_26_BOW,R_64_28_UNISON) ) ).


n64_a_stuck_japan n64_a_stuck_japan_4 You n64_a_stuck_japan_6 start n64_a_stuck_japan_9 to n64_a_stuck_japan_11 appreciate n64_a_stuck_japan_14 the n64_a_stuck_japan_16 quirks n64_a_stuck_japan_18 - n64_a_stuck_japan_21 like n64_a_stuck_japan_24 the n64_a_stuck_japan_26 four n64_a_stuck_japan_28 petrol n64_a_stuck_japan_30 station n64_a_stuck_japan_32 attendants n64_a_stuck_japan_36 who n64_a_stuck_japan_40 clean n64_a_stuck_japan_43 all n64_a_stuck_japan_46 your n64_a_stuck_japan_48 car n64_a_stuck_japan_50 windows n64_a_stuck_japan_53 while n64_a_stuck_japan_57 they n64_a_stuck_japan_59 fill n64_a_stuck_japan_62 the n64_a_stuck_japan_64 tank n64_a_stuck_japan_67 and n64_a_stuck_japan_70 bow n64_a_stuck_japan_73 in n64_a_stuck_japan_76 unison n64_a_stuck_japan_79 as n64_a_stuck_japan_83 you n64_a_stuck_japan_85 depart n64_a_stuck_japan_87 . n64_a_stuck_japan_1 IP-MAT n64_a_stuck_japan_2 NP-SBJ n64_a_stuck_japan_1->n64_a_stuck_japan_2 n64_a_stuck_japan_5 VBP;_cat_Vt_ n64_a_stuck_japan_1->n64_a_stuck_japan_5 n64_a_stuck_japan_7 IP-INF-CAT n64_a_stuck_japan_1->n64_a_stuck_japan_7 n64_a_stuck_japan_86 PUNC n64_a_stuck_japan_1->n64_a_stuck_japan_86 n64_a_stuck_japan_3 PRO n64_a_stuck_japan_2->n64_a_stuck_japan_3 n64_a_stuck_japan_3->n64_a_stuck_japan_4 n64_a_stuck_japan_5->n64_a_stuck_japan_6 n64_a_stuck_japan_8 TO n64_a_stuck_japan_7->n64_a_stuck_japan_8 n64_a_stuck_japan_10 VB;_Tn_ n64_a_stuck_japan_7->n64_a_stuck_japan_10 n64_a_stuck_japan_12 NP-OB1 n64_a_stuck_japan_7->n64_a_stuck_japan_12 n64_a_stuck_japan_8->n64_a_stuck_japan_9 n64_a_stuck_japan_10->n64_a_stuck_japan_11 n64_a_stuck_japan_13 D n64_a_stuck_japan_12->n64_a_stuck_japan_13 n64_a_stuck_japan_15 NS n64_a_stuck_japan_12->n64_a_stuck_japan_15 n64_a_stuck_japan_17 PUNC n64_a_stuck_japan_12->n64_a_stuck_japan_17 n64_a_stuck_japan_19 PP n64_a_stuck_japan_12->n64_a_stuck_japan_19 n64_a_stuck_japan_13->n64_a_stuck_japan_14 n64_a_stuck_japan_15->n64_a_stuck_japan_16 n64_a_stuck_japan_17->n64_a_stuck_japan_18 n64_a_stuck_japan_20 P-ROLE n64_a_stuck_japan_19->n64_a_stuck_japan_20 n64_a_stuck_japan_22 NP n64_a_stuck_japan_19->n64_a_stuck_japan_22 n64_a_stuck_japan_20->n64_a_stuck_japan_21 n64_a_stuck_japan_23 D n64_a_stuck_japan_22->n64_a_stuck_japan_23 n64_a_stuck_japan_25 NUM n64_a_stuck_japan_22->n64_a_stuck_japan_25 n64_a_stuck_japan_27 N n64_a_stuck_japan_22->n64_a_stuck_japan_27 n64_a_stuck_japan_29 N n64_a_stuck_japan_22->n64_a_stuck_japan_29 n64_a_stuck_japan_31 NS n64_a_stuck_japan_22->n64_a_stuck_japan_31 n64_a_stuck_japan_33 IP-REL n64_a_stuck_japan_22->n64_a_stuck_japan_33 n64_a_stuck_japan_23->n64_a_stuck_japan_24 n64_a_stuck_japan_25->n64_a_stuck_japan_26 n64_a_stuck_japan_27->n64_a_stuck_japan_28 n64_a_stuck_japan_29->n64_a_stuck_japan_30 n64_a_stuck_japan_31->n64_a_stuck_japan_32 n64_a_stuck_japan_34 NP-SBJ n64_a_stuck_japan_33->n64_a_stuck_japan_34 n64_a_stuck_japan_37 ILYR n64_a_stuck_japan_33->n64_a_stuck_japan_37 n64_a_stuck_japan_35 RPRO n64_a_stuck_japan_34->n64_a_stuck_japan_35 n64_a_stuck_japan_35->n64_a_stuck_japan_36 n64_a_stuck_japan_38 ILYR n64_a_stuck_japan_37->n64_a_stuck_japan_38 n64_a_stuck_japan_65 CONJP n64_a_stuck_japan_37->n64_a_stuck_japan_65 n64_a_stuck_japan_39 VBP;_Tn_ n64_a_stuck_japan_38->n64_a_stuck_japan_39 n64_a_stuck_japan_41 NP-OB1 n64_a_stuck_japan_38->n64_a_stuck_japan_41 n64_a_stuck_japan_51 PP-SCON n64_a_stuck_japan_38->n64_a_stuck_japan_51 n64_a_stuck_japan_39->n64_a_stuck_japan_40 n64_a_stuck_japan_42 D n64_a_stuck_japan_41->n64_a_stuck_japan_42 n64_a_stuck_japan_44 NP-GEN n64_a_stuck_japan_41->n64_a_stuck_japan_44 n64_a_stuck_japan_47 N n64_a_stuck_japan_41->n64_a_stuck_japan_47 n64_a_stuck_japan_49 NS n64_a_stuck_japan_41->n64_a_stuck_japan_49 n64_a_stuck_japan_42->n64_a_stuck_japan_43 n64_a_stuck_japan_45 PRO n64_a_stuck_japan_44->n64_a_stuck_japan_45 n64_a_stuck_japan_45->n64_a_stuck_japan_46 n64_a_stuck_japan_47->n64_a_stuck_japan_48 n64_a_stuck_japan_49->n64_a_stuck_japan_50 n64_a_stuck_japan_52 P-CONN n64_a_stuck_japan_51->n64_a_stuck_japan_52 n64_a_stuck_japan_54 IP-ADV n64_a_stuck_japan_51->n64_a_stuck_japan_54 n64_a_stuck_japan_52->n64_a_stuck_japan_53 n64_a_stuck_japan_55 NP-SBJ n64_a_stuck_japan_54->n64_a_stuck_japan_55 n64_a_stuck_japan_58 VBP;_Tn_ n64_a_stuck_japan_54->n64_a_stuck_japan_58 n64_a_stuck_japan_60 NP-OB1 n64_a_stuck_japan_54->n64_a_stuck_japan_60 n64_a_stuck_japan_56 PRO n64_a_stuck_japan_55->n64_a_stuck_japan_56 n64_a_stuck_japan_56->n64_a_stuck_japan_57 n64_a_stuck_japan_58->n64_a_stuck_japan_59 n64_a_stuck_japan_61 D n64_a_stuck_japan_60->n64_a_stuck_japan_61 n64_a_stuck_japan_63 N n64_a_stuck_japan_60->n64_a_stuck_japan_63 n64_a_stuck_japan_61->n64_a_stuck_japan_62 n64_a_stuck_japan_63->n64_a_stuck_japan_64 n64_a_stuck_japan_66 CONJ n64_a_stuck_japan_65->n64_a_stuck_japan_66 n64_a_stuck_japan_68 ILYR n64_a_stuck_japan_65->n64_a_stuck_japan_68 n64_a_stuck_japan_66->n64_a_stuck_japan_67 n64_a_stuck_japan_69 VB;_I_ n64_a_stuck_japan_68->n64_a_stuck_japan_69 n64_a_stuck_japan_71 PP-NIM n64_a_stuck_japan_68->n64_a_stuck_japan_71 n64_a_stuck_japan_77 PP-SCON n64_a_stuck_japan_68->n64_a_stuck_japan_77 n64_a_stuck_japan_69->n64_a_stuck_japan_70 n64_a_stuck_japan_72 P-ROLE n64_a_stuck_japan_71->n64_a_stuck_japan_72 n64_a_stuck_japan_74 NP n64_a_stuck_japan_71->n64_a_stuck_japan_74 n64_a_stuck_japan_72->n64_a_stuck_japan_73 n64_a_stuck_japan_75 N n64_a_stuck_japan_74->n64_a_stuck_japan_75 n64_a_stuck_japan_75->n64_a_stuck_japan_76 n64_a_stuck_japan_78 P-CONN n64_a_stuck_japan_77->n64_a_stuck_japan_78 n64_a_stuck_japan_80 IP-ADV n64_a_stuck_japan_77->n64_a_stuck_japan_80 n64_a_stuck_japan_78->n64_a_stuck_japan_79 n64_a_stuck_japan_81 NP-SBJ n64_a_stuck_japan_80->n64_a_stuck_japan_81 n64_a_stuck_japan_84 VBP;_I_ n64_a_stuck_japan_80->n64_a_stuck_japan_84 n64_a_stuck_japan_82 PRO n64_a_stuck_japan_81->n64_a_stuck_japan_82 n64_a_stuck_japan_82->n64_a_stuck_japan_83 n64_a_stuck_japan_84->n64_a_stuck_japan_85 n64_a_stuck_japan_86->n64_a_stuck_japan_87 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (VBP;_cat_Vt_ start;{start})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Tn_ appreciate;{appreciate})
                      (NP-OB1 (D the;{the})
                              (NS quirks;{quirk})
                              (PUNC <hyphen>)
                              (PP (P-ROLE like;{like})
                                  (NP;{ATTENDANTS} (D the;{the})
                                                   (NUM four;{four})
                                                   (N petrol;{petrol})
                                                   (N station;{station})
                                                   (NS attendants;{attendant})
                                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                                           (ILYR (ILYR (VBP;_Tn_ clean;{clean})
                                                                       (NP-OB1 (D all;{all})
                                                                               (NP-GEN (PRO your;{you}))
                                                                               (N car;{car})
                                                                               (NS windows;{window}))
                                                                       (PP-SCON (P-CONN while;{while})
                                                                                (IP-ADV (NP-SBJ;{ATTENDANTS} (PRO they;{they}))
                                                                                        (VBP;_Tn_ fill;{fill})
                                                                                        (NP-OB1 (D the;{the})
                                                                                                (N tank;{tank})))))
                                                                 (CONJP (CONJ and;{and})
                                                                        (ILYR (VB;_I_ bow;{bow})
                                                                              (PP-NIM (P-ROLE in;{in})
                                                                                      (NP (N unison;{unison})))
                                                                              (PP-SCON (P-CONN as;{as})
                                                                                       (IP-ADV (NP-SBJ (PRO you;{you}))
                                                                                               (VBP;_I_ depart;{depart})))))))))))
          (PUNC .))
  (ID 64_a_stuck_japan))