Context                Previous, Next                Top


132_a_stuck_japan
In a tiny town I met an elderly couple walking to the polling station.

%3 r_0132_0002__a_r_0132_0004__town a town r_0132_0003__tiny tiny r_0132_0002__a_r_0132_0004__town->r_0132_0003__tiny [attrib] r_0132_0006__met met r_0132_0006__met->r_0132_0002__a_r_0132_0004__town In [nim] r_0132_0005__I I r_0132_0006__met->r_0132_0005__I [arg0] r_0132_0007__an_r_0132_0009__couple an couple r_0132_0006__met->r_0132_0007__an_r_0132_0009__couple [arg1] r_0132_0008__elderly elderly r_0132_0007__an_r_0132_0009__couple->r_0132_0008__elderly [attrib] r_0132_0010__walking walking r_0132_0010__walking->r_0132_0007__an_r_0132_0009__couple [arg0] r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station the polling station r_0132_0010__walking->r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station to [nim] 
arc(r_0132_0002__a_r_0132_0004__town, r_0132_0003__tiny, attrib8).
arc(r_0132_0006__met, r_0132_0002__a_r_0132_0004__town, r_0132_0001__In_nim5).
arc(r_0132_0006__met, r_0132_0005__I, arg0).
arc(r_0132_0006__met, r_0132_0007__an_r_0132_0009__couple, arg1).
arc(r_0132_0007__an_r_0132_0009__couple, r_0132_0008__elderly, attrib21).
arc(r_0132_0010__walking, r_0132_0007__an_r_0132_0009__couple, arg0).
arc(r_0132_0010__walking, r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station, r_0132_0011__to_nim32).


%3 r_0132_0002__a_r_0132_0004__town a town r_0132_0003__tiny tiny r_0132_0002__a_r_0132_0004__town->r_0132_0003__tiny [attrib] r_0132_0006__met met r_0132_0006__met->r_0132_0002__a_r_0132_0004__town In [nim] r_0132_0005__I I r_0132_0006__met->r_0132_0005__I [arg0] r_0132_0007__an_r_0132_0009__couple an couple r_0132_0006__met->r_0132_0007__an_r_0132_0009__couple [arg1] r_0132_0008__elderly elderly r_0132_0007__an_r_0132_0009__couple->r_0132_0008__elderly [attrib] r_0132_0010__walking walking r_0132_0010__walking->r_0132_0007__an_r_0132_0009__couple [arg0] r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station the polling station r_0132_0010__walking->r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station to [nim] 
fof(formula,axiom,
    ? [R_132_6_MET,R_132_5_I,R_132_2_A_TOWN,R_132_3_TINY,R_132_10_WALKING,R_132_7_AN_COUPLE,R_132_8_ELDERLY,R_132_12_THE_POLLING_STATION] :
      ( i(R_132_5_I)
      & tiny(R_132_3_TINY)
      & elderly(R_132_8_ELDERLY)
      & the_polling_station(R_132_12_THE_POLLING_STATION)
      & met(R_132_6_MET,R_132_5_I,R_132_7_AN_COUPLE)
      & an_couple(R_132_7_AN_COUPLE)
      & attrib21(R_132_7_AN_COUPLE,R_132_8_ELDERLY)
      & in_nim5(R_132_6_MET,R_132_2_A_TOWN)
      & a_town(R_132_2_A_TOWN)
      & attrib8(R_132_2_A_TOWN,R_132_3_TINY)
      & walking(R_132_10_WALKING,R_132_7_AN_COUPLE)
      & to_nim32(R_132_10_WALKING,R_132_12_THE_POLLING_STATION) ) ).


n132_a_stuck_japan n132_a_stuck_japan_4 In n132_a_stuck_japan_7 a n132_a_stuck_japan_10 tiny n132_a_stuck_japan_12 town n132_a_stuck_japan_15 I n132_a_stuck_japan_17 met n132_a_stuck_japan_20 an n132_a_stuck_japan_23 elderly n132_a_stuck_japan_25 couple n132_a_stuck_japan_28 walking n132_a_stuck_japan_31 to n132_a_stuck_japan_34 the n132_a_stuck_japan_36 polling n132_a_stuck_japan_38 station n132_a_stuck_japan_40 . n132_a_stuck_japan_1 IP-MAT n132_a_stuck_japan_2 PP-NIM n132_a_stuck_japan_1->n132_a_stuck_japan_2 n132_a_stuck_japan_13 NP-SBJ n132_a_stuck_japan_1->n132_a_stuck_japan_13 n132_a_stuck_japan_16 VBD;_Tn_ n132_a_stuck_japan_1->n132_a_stuck_japan_16 n132_a_stuck_japan_18 NP-OB1 n132_a_stuck_japan_1->n132_a_stuck_japan_18 n132_a_stuck_japan_39 PUNC n132_a_stuck_japan_1->n132_a_stuck_japan_39 n132_a_stuck_japan_3 P-ROLE n132_a_stuck_japan_2->n132_a_stuck_japan_3 n132_a_stuck_japan_5 NP n132_a_stuck_japan_2->n132_a_stuck_japan_5 n132_a_stuck_japan_3->n132_a_stuck_japan_4 n132_a_stuck_japan_6 D n132_a_stuck_japan_5->n132_a_stuck_japan_6 n132_a_stuck_japan_8 ADJP n132_a_stuck_japan_5->n132_a_stuck_japan_8 n132_a_stuck_japan_11 N n132_a_stuck_japan_5->n132_a_stuck_japan_11 n132_a_stuck_japan_6->n132_a_stuck_japan_7 n132_a_stuck_japan_9 ADJ n132_a_stuck_japan_8->n132_a_stuck_japan_9 n132_a_stuck_japan_9->n132_a_stuck_japan_10 n132_a_stuck_japan_11->n132_a_stuck_japan_12 n132_a_stuck_japan_14 PRO n132_a_stuck_japan_13->n132_a_stuck_japan_14 n132_a_stuck_japan_14->n132_a_stuck_japan_15 n132_a_stuck_japan_16->n132_a_stuck_japan_17 n132_a_stuck_japan_19 D n132_a_stuck_japan_18->n132_a_stuck_japan_19 n132_a_stuck_japan_21 ADJP n132_a_stuck_japan_18->n132_a_stuck_japan_21 n132_a_stuck_japan_24 N n132_a_stuck_japan_18->n132_a_stuck_japan_24 n132_a_stuck_japan_26 IP-PPL n132_a_stuck_japan_18->n132_a_stuck_japan_26 n132_a_stuck_japan_19->n132_a_stuck_japan_20 n132_a_stuck_japan_22 ADJ n132_a_stuck_japan_21->n132_a_stuck_japan_22 n132_a_stuck_japan_22->n132_a_stuck_japan_23 n132_a_stuck_japan_24->n132_a_stuck_japan_25 n132_a_stuck_japan_27 VAG;__ n132_a_stuck_japan_26->n132_a_stuck_japan_27 n132_a_stuck_japan_29 PP-NIM n132_a_stuck_japan_26->n132_a_stuck_japan_29 n132_a_stuck_japan_27->n132_a_stuck_japan_28 n132_a_stuck_japan_30 P-ROLE n132_a_stuck_japan_29->n132_a_stuck_japan_30 n132_a_stuck_japan_32 NP n132_a_stuck_japan_29->n132_a_stuck_japan_32 n132_a_stuck_japan_30->n132_a_stuck_japan_31 n132_a_stuck_japan_33 D n132_a_stuck_japan_32->n132_a_stuck_japan_33 n132_a_stuck_japan_35 N n132_a_stuck_japan_32->n132_a_stuck_japan_35 n132_a_stuck_japan_37 N n132_a_stuck_japan_32->n132_a_stuck_japan_37 n132_a_stuck_japan_33->n132_a_stuck_japan_34 n132_a_stuck_japan_35->n132_a_stuck_japan_36 n132_a_stuck_japan_37->n132_a_stuck_japan_38 n132_a_stuck_japan_39->n132_a_stuck_japan_40 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ tiny;{tiny}))
                      (N town;{town})))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ met;{meet})
          (NP-OB1 (D an;{a})
                  (ADJP (ADJ elderly;{elderly}))
                  (N couple;{couple})
                  (IP-PPL (VAG;__ walking;{walk})
                          (PP-NIM (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (N polling;{polling})
                                      (N station;{station})))))
          (PUNC .))
  (ID 132_a_stuck_japan))