Context                Previous, Next                Top


47_a_stuck_japan
But each one costs up to <dollar> 900.

n47_a_stuck_japan n47_a_stuck_japan__1_1_1 But n47_a_stuck_japan__1_2_1_1 each n47_a_stuck_japan__1_2_2_1 one n47_a_stuck_japan__1_3_1 costs n47_a_stuck_japan__1_4_1 up n47_a_stuck_japan__1_5_1_1 to n47_a_stuck_japan__1_5_2_1_1 <dollar> n47_a_stuck_japan__1_5_2_2_1 900 n47_a_stuck_japan__1_6_1 . n47_a_stuck_japan__1 IP-MAT n47_a_stuck_japan__1_1 CONJ;_cl_ n47_a_stuck_japan__1->n47_a_stuck_japan__1_1 n47_a_stuck_japan__1_2 NP-SBJ n47_a_stuck_japan__1->n47_a_stuck_japan__1_2 n47_a_stuck_japan__1_3 VBP;__ n47_a_stuck_japan__1->n47_a_stuck_japan__1_3 n47_a_stuck_japan__1_4 RP n47_a_stuck_japan__1->n47_a_stuck_japan__1_4 n47_a_stuck_japan__1_5 PP-NIM n47_a_stuck_japan__1->n47_a_stuck_japan__1_5 n47_a_stuck_japan__1_6 PUNC n47_a_stuck_japan__1->n47_a_stuck_japan__1_6 n47_a_stuck_japan__1_1->n47_a_stuck_japan__1_1_1 n47_a_stuck_japan__1_2_1 D n47_a_stuck_japan__1_2->n47_a_stuck_japan__1_2_1 n47_a_stuck_japan__1_2_2 N n47_a_stuck_japan__1_2->n47_a_stuck_japan__1_2_2 n47_a_stuck_japan__1_2_1->n47_a_stuck_japan__1_2_1_1 n47_a_stuck_japan__1_2_2->n47_a_stuck_japan__1_2_2_1 n47_a_stuck_japan__1_3->n47_a_stuck_japan__1_3_1 n47_a_stuck_japan__1_4->n47_a_stuck_japan__1_4_1 n47_a_stuck_japan__1_5_1 P-ROLE n47_a_stuck_japan__1_5->n47_a_stuck_japan__1_5_1 n47_a_stuck_japan__1_5_2 NP n47_a_stuck_japan__1_5->n47_a_stuck_japan__1_5_2 n47_a_stuck_japan__1_5_1->n47_a_stuck_japan__1_5_1_1 n47_a_stuck_japan__1_5_2_1 N n47_a_stuck_japan__1_5_2->n47_a_stuck_japan__1_5_2_1 n47_a_stuck_japan__1_5_2_2 NUM n47_a_stuck_japan__1_5_2->n47_a_stuck_japan__1_5_2_2 n47_a_stuck_japan__1_5_2_1->n47_a_stuck_japan__1_5_2_1_1 n47_a_stuck_japan__1_5_2_2->n47_a_stuck_japan__1_5_2_2_1 n47_a_stuck_japan__1_6->n47_a_stuck_japan__1_6_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D each;{each})
                  (N one;{one}))
          (VBP;__ costs;{cost})
          (RP up;{up})
          (PP-NIM (P-ROLE to;{to})
                  (NP (N <dollar>)
                      (NUM 900)))
          (PUNC .))
  (ID 47_a_stuck_japan))


%3 r_0047_0004__costs_r_0047_0005__up costs up r_0047_0007___dollar__r_0047_0008__900 _dollar_ 900 r_0047_0004__costs_r_0047_0005__up->r_0047_0007___dollar__r_0047_0008__900 to [nim] r_0047_0002__each_r_0047_0003__one each one r_0047_0004__costs_r_0047_0005__up->r_0047_0002__each_r_0047_0003__one [arg0] 
arc(r_0047_0004__costs_r_0047_0005__up,r_0047_0002__each_r_0047_0003__one,arg0).
arc(r_0047_0004__costs_r_0047_0005__up,r_0047_0007___dollar__r_0047_0008__900,r_0047_0006__to__nim).


%3 r_0047_0004__costs_r_0047_0005__up costs up r_0047_0002__each_r_0047_0003__one each one r_0047_0004__costs_r_0047_0005__up->r_0047_0002__each_r_0047_0003__one [arg0] r_0047_0007___dollar__r_0047_0008__900 _dollar_ 900 r_0047_0004__costs_r_0047_0005__up->r_0047_0007___dollar__r_0047_0008__900 to [nim] 
fof(formula,axiom,
    ? [R_0047_0002__EACH_R_0047_0003__ONE,R_0047_0007___DOLLAR__R_0047_0008__900,R_0047_0004__COSTS_R_0047_0005__UP] :
      ( r_0047_0002__each_r_0047_0003__one(R_0047_0002__EACH_R_0047_0003__ONE)
      & r_0047_0007___dollar__r_0047_0008__900(R_0047_0007___DOLLAR__R_0047_0008__900)
      & r_0047_0004__costs_r_0047_0005__up(R_0047_0004__COSTS_R_0047_0005__UP)
      & has_r_0047_0006__to__nim(R_0047_0004__COSTS_R_0047_0005__UP,R_0047_0007___DOLLAR__R_0047_0008__900)
      & has_arg0(R_0047_0004__COSTS_R_0047_0005__UP,R_0047_0002__EACH_R_0047_0003__ONE) ) ).