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_0009__away away r_0087_0008__drive drive r_0087_0009__away->r_0087_0008__drive [nim] r_0087_0006__hours_r_0087_0007___apos_ hours ' r_0087_0008__drive->r_0087_0006__hours_r_0087_0007___apos_ [gen] r_0087_0003__less less r_0087_0006__hours_r_0087_0007___apos_->r_0087_0003__less [attrib] r_0087_0005__two two r_0087_0003__less->r_0087_0005__two than r_0087_0002__was was r_0087_0002__was->r_0087_0009__away [clr] r_0087_0001__Tokyo Tokyo r_0087_0002__was->r_0087_0001__Tokyo [arg0] 
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__1_1_1_1 Tokyo n87_a_stuck_japan__1_2_1 was n87_a_stuck_japan__1_3_1_1_1_1_1 less n87_a_stuck_japan__1_3_1_1_1_2_1_1 than n87_a_stuck_japan__1_3_1_1_1_2_2_1_1 two n87_a_stuck_japan__1_3_1_1_2_1 hours n87_a_stuck_japan__1_3_1_1_3_1 ' n87_a_stuck_japan__1_3_1_2_1 drive n87_a_stuck_japan__1_3_2_1 away n87_a_stuck_japan__1_4_1 . n87_a_stuck_japan__1 IP-MAT n87_a_stuck_japan__1_1 NP-SBJ n87_a_stuck_japan__1->n87_a_stuck_japan__1_1 n87_a_stuck_japan__1_2 BED;__ n87_a_stuck_japan__1->n87_a_stuck_japan__1_2 n87_a_stuck_japan__1_3 ADVP-CLR n87_a_stuck_japan__1->n87_a_stuck_japan__1_3 n87_a_stuck_japan__1_4 PUNC n87_a_stuck_japan__1->n87_a_stuck_japan__1_4 n87_a_stuck_japan__1_1_1 NPR n87_a_stuck_japan__1_1->n87_a_stuck_japan__1_1_1 n87_a_stuck_japan__1_1_1->n87_a_stuck_japan__1_1_1_1 n87_a_stuck_japan__1_2->n87_a_stuck_japan__1_2_1 n87_a_stuck_japan__1_3_1 NP n87_a_stuck_japan__1_3->n87_a_stuck_japan__1_3_1 n87_a_stuck_japan__1_3_2 ADV n87_a_stuck_japan__1_3->n87_a_stuck_japan__1_3_2 n87_a_stuck_japan__1_3_1_1 NP-GEN n87_a_stuck_japan__1_3_1->n87_a_stuck_japan__1_3_1_1 n87_a_stuck_japan__1_3_1_2 N n87_a_stuck_japan__1_3_1->n87_a_stuck_japan__1_3_1_2 n87_a_stuck_japan__1_3_1_1_1 ADJP n87_a_stuck_japan__1_3_1_1->n87_a_stuck_japan__1_3_1_1_1 n87_a_stuck_japan__1_3_1_1_2 NS n87_a_stuck_japan__1_3_1_1->n87_a_stuck_japan__1_3_1_1_2 n87_a_stuck_japan__1_3_1_1_3 GENM n87_a_stuck_japan__1_3_1_1->n87_a_stuck_japan__1_3_1_1_3 n87_a_stuck_japan__1_3_1_1_1_1 ADJR n87_a_stuck_japan__1_3_1_1_1->n87_a_stuck_japan__1_3_1_1_1_1 n87_a_stuck_japan__1_3_1_1_1_2 PP n87_a_stuck_japan__1_3_1_1_1->n87_a_stuck_japan__1_3_1_1_1_2 n87_a_stuck_japan__1_3_1_1_1_1->n87_a_stuck_japan__1_3_1_1_1_1_1 n87_a_stuck_japan__1_3_1_1_1_2_1 P-ROLE n87_a_stuck_japan__1_3_1_1_1_2->n87_a_stuck_japan__1_3_1_1_1_2_1 n87_a_stuck_japan__1_3_1_1_1_2_2 NP n87_a_stuck_japan__1_3_1_1_1_2->n87_a_stuck_japan__1_3_1_1_1_2_2 n87_a_stuck_japan__1_3_1_1_1_2_1->n87_a_stuck_japan__1_3_1_1_1_2_1_1 n87_a_stuck_japan__1_3_1_1_1_2_2_1 NUM n87_a_stuck_japan__1_3_1_1_1_2_2->n87_a_stuck_japan__1_3_1_1_1_2_2_1 n87_a_stuck_japan__1_3_1_1_1_2_2_1->n87_a_stuck_japan__1_3_1_1_1_2_2_1_1 n87_a_stuck_japan__1_3_1_1_2->n87_a_stuck_japan__1_3_1_1_2_1 n87_a_stuck_japan__1_3_1_1_3->n87_a_stuck_japan__1_3_1_1_3_1 n87_a_stuck_japan__1_3_1_2->n87_a_stuck_japan__1_3_1_2_1 n87_a_stuck_japan__1_3_2->n87_a_stuck_japan__1_3_2_1 n87_a_stuck_japan__1_4->n87_a_stuck_japan__1_4_1 
( (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))