Context                Previous, Next                Top


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

%3 r_0047_0001__But_r_0047_0004__costs_r_0047_0005__up But costs up r_0047_0002__each_r_0047_0003__one each one r_0047_0001__But_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_0001__But_r_0047_0004__costs_r_0047_0005__up->r_0047_0007___dollar__r_0047_0008__900 to [nim] 
arc(r_0047_0001__But_r_0047_0004__costs_r_0047_0005__up, r_0047_0002__each_r_0047_0003__one, arg0).
arc(r_0047_0001__But_r_0047_0004__costs_r_0047_0005__up, r_0047_0007___dollar__r_0047_0008__900, r_0047_0006__to_nim16).


%3 r_0047_0001__But_r_0047_0004__costs_r_0047_0005__up But costs up r_0047_0007___dollar__r_0047_0008__900 dollar  900 r_0047_0001__But_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_0001__But_r_0047_0004__costs_r_0047_0005__up->r_0047_0002__each_r_0047_0003__one [arg0] 
fof(formula,axiom,
    ? [R_47_1_BUT_COSTS_UP,R_47_2_EACH_ONE,R_47_7__DOLLAR_900] :
      ( each_one(R_47_2_EACH_ONE)
      & _dollar_900(R_47_7__DOLLAR_900)
      & but_costs_up(R_47_1_BUT_COSTS_UP,R_47_2_EACH_ONE)
      & to_nim16(R_47_1_BUT_COSTS_UP,R_47_7__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))