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_0087_0001__TOKYO,R_0087_0005__TWO,R_0087_0003__LESS,R_0087_0006__HOURS_R_0087_0007___APOS_,R_0087_0008__DRIVE,R_0087_0009__AWAY,R_0087_0002__WAS] :
      ( r_0087_0001__Tokyo(R_0087_0001__TOKYO)
      & r_0087_0005__two(R_0087_0005__TWO)
      & r_0087_0002__was(R_0087_0002__WAS)
      & has_clr7(R_0087_0002__WAS,R_0087_0009__AWAY)
      & r_0087_0009__away(R_0087_0009__AWAY)
      & has_nim8(R_0087_0009__AWAY,R_0087_0008__DRIVE)
      & r_0087_0008__drive(R_0087_0008__DRIVE)
      & has_gen(R_0087_0008__DRIVE,R_0087_0006__HOURS_R_0087_0007___APOS_)
      & r_0087_0006__hours_r_0087_0007___apos_(R_0087_0006__HOURS_R_0087_0007___APOS_)
      & has_attrib10(R_0087_0006__HOURS_R_0087_0007___APOS_,R_0087_0003__LESS)
      & r_0087_0003__less(R_0087_0003__LESS)
      & has_r_0087_0004__than(R_0087_0003__LESS,R_0087_0005__TWO)
      & has_arg0(R_0087_0002__WAS,R_0087_0001__TOKYO) ) ).


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))