Context                Previous, Next                Top


87_a_stuck_japan
Tokyo was less than two hours' drive away.

%3 r_0087_0002__was was r_0087_0001__Tokyo Tokyo r_0087_0002__was->r_0087_0001__Tokyo [arg0] r_0087_0009__away away r_0087_0002__was->r_0087_0009__away [clr] r_0087_0008__drive drive r_0087_0009__away->r_0087_0008__drive [nim] r_0087_0003__less less r_0087_0005__two two r_0087_0003__less->r_0087_0005__two than r_0087_0006__hours_r_0087_0007___apos_ hours ' r_0087_0006__hours_r_0087_0007___apos_->r_0087_0003__less [attrib] r_0087_0008__drive->r_0087_0006__hours_r_0087_0007___apos_ [gen] 
arc(r_0087_0002__was, r_0087_0001__Tokyo, arg0).
arc(r_0087_0002__was, r_0087_0009__away, clr7).
arc(r_0087_0003__less, r_0087_0005__two, r_0087_0004__than).
arc(r_0087_0006__hours_r_0087_0007___apos_, r_0087_0003__less, attrib10).
arc(r_0087_0008__drive, r_0087_0006__hours_r_0087_0007___apos_, gen).
arc(r_0087_0009__away, r_0087_0008__drive, nim8).


%3 r_0087_0002__was was r_0087_0001__Tokyo Tokyo r_0087_0002__was->r_0087_0001__Tokyo [arg0] r_0087_0009__away away r_0087_0002__was->r_0087_0009__away [clr] r_0087_0008__drive drive r_0087_0009__away->r_0087_0008__drive [nim] r_0087_0003__less less r_0087_0005__two two r_0087_0003__less->r_0087_0005__two than r_0087_0006__hours_r_0087_0007___apos_ hours ' r_0087_0006__hours_r_0087_0007___apos_->r_0087_0003__less [attrib] r_0087_0008__drive->r_0087_0006__hours_r_0087_0007___apos_ [gen] 
fof(formula,axiom,
    ? [R_87_2_WAS,R_87_1_TOKYO,R_87_9_AWAY,R_87_8_DRIVE,R_87_6_HOURS_APOS_,R_87_3_LESS,R_87_5_TWO] :
      ( tokyo(R_87_1_TOKYO)
      & two(R_87_5_TWO)
      & was(R_87_2_WAS,R_87_1_TOKYO)
      & clr7(R_87_2_WAS,R_87_9_AWAY)
      & away(R_87_9_AWAY)
      & nim8(R_87_9_AWAY,R_87_8_DRIVE)
      & drive(R_87_8_DRIVE)
      & gen(R_87_8_DRIVE,R_87_6_HOURS_APOS_)
      & hours_apos_(R_87_6_HOURS_APOS_)
      & attrib10(R_87_6_HOURS_APOS_,R_87_3_LESS)
      & less(R_87_3_LESS)
      & than(R_87_3_LESS,R_87_5_TWO) ) ).


n87_a_stuck_japan n87_a_stuck_japan_4 Tokyo n87_a_stuck_japan_6 was n87_a_stuck_japan_12 less n87_a_stuck_japan_15 than n87_a_stuck_japan_18 two n87_a_stuck_japan_20 hours n87_a_stuck_japan_22 ' n87_a_stuck_japan_24 drive n87_a_stuck_japan_26 away n87_a_stuck_japan_28 . n87_a_stuck_japan_1 IP-MAT n87_a_stuck_japan_2 NP-SBJ n87_a_stuck_japan_1->n87_a_stuck_japan_2 n87_a_stuck_japan_5 BED;__ n87_a_stuck_japan_1->n87_a_stuck_japan_5 n87_a_stuck_japan_7 ADVP-CLR n87_a_stuck_japan_1->n87_a_stuck_japan_7 n87_a_stuck_japan_27 PUNC n87_a_stuck_japan_1->n87_a_stuck_japan_27 n87_a_stuck_japan_3 NPR n87_a_stuck_japan_2->n87_a_stuck_japan_3 n87_a_stuck_japan_3->n87_a_stuck_japan_4 n87_a_stuck_japan_5->n87_a_stuck_japan_6 n87_a_stuck_japan_8 NP n87_a_stuck_japan_7->n87_a_stuck_japan_8 n87_a_stuck_japan_25 ADV n87_a_stuck_japan_7->n87_a_stuck_japan_25 n87_a_stuck_japan_9 NP-GEN n87_a_stuck_japan_8->n87_a_stuck_japan_9 n87_a_stuck_japan_23 N n87_a_stuck_japan_8->n87_a_stuck_japan_23 n87_a_stuck_japan_10 ADJP n87_a_stuck_japan_9->n87_a_stuck_japan_10 n87_a_stuck_japan_19 NS n87_a_stuck_japan_9->n87_a_stuck_japan_19 n87_a_stuck_japan_21 GENM n87_a_stuck_japan_9->n87_a_stuck_japan_21 n87_a_stuck_japan_11 ADJR n87_a_stuck_japan_10->n87_a_stuck_japan_11 n87_a_stuck_japan_13 PP n87_a_stuck_japan_10->n87_a_stuck_japan_13 n87_a_stuck_japan_11->n87_a_stuck_japan_12 n87_a_stuck_japan_14 P-ROLE n87_a_stuck_japan_13->n87_a_stuck_japan_14 n87_a_stuck_japan_16 NP n87_a_stuck_japan_13->n87_a_stuck_japan_16 n87_a_stuck_japan_14->n87_a_stuck_japan_15 n87_a_stuck_japan_17 NUM n87_a_stuck_japan_16->n87_a_stuck_japan_17 n87_a_stuck_japan_17->n87_a_stuck_japan_18 n87_a_stuck_japan_19->n87_a_stuck_japan_20 n87_a_stuck_japan_21->n87_a_stuck_japan_22 n87_a_stuck_japan_23->n87_a_stuck_japan_24 n87_a_stuck_japan_25->n87_a_stuck_japan_26 n87_a_stuck_japan_27->n87_a_stuck_japan_28 
( (IP-MAT (NP-SBJ (NPR Tokyo;{Tokyo}))
          (BED;__ was;{be})
          (ADVP-CLR (NP (NP-GEN (ADJP (ADJR less;{less})
                                      (PP (P-ROLE than;{than})
                                          (NP (NUM two;{two}))))
                                (NS hours;{hour})
                                (GENM <apos>))
                        (N drive;{drive}))
                    (ADV away;{away}))
          (PUNC .))
  (ID 87_a_stuck_japan))