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_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] 
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_3 But n47_a_stuck_japan_6 each n47_a_stuck_japan_8 one n47_a_stuck_japan_10 costs n47_a_stuck_japan_12 up n47_a_stuck_japan_15 to n47_a_stuck_japan_18 <dollar> n47_a_stuck_japan_20 900 n47_a_stuck_japan_22 . n47_a_stuck_japan_1 IP-MAT n47_a_stuck_japan_2 CONJ;_cl_ n47_a_stuck_japan_1->n47_a_stuck_japan_2 n47_a_stuck_japan_4 NP-SBJ n47_a_stuck_japan_1->n47_a_stuck_japan_4 n47_a_stuck_japan_9 VBP;__ n47_a_stuck_japan_1->n47_a_stuck_japan_9 n47_a_stuck_japan_11 RP n47_a_stuck_japan_1->n47_a_stuck_japan_11 n47_a_stuck_japan_13 PP-NIM n47_a_stuck_japan_1->n47_a_stuck_japan_13 n47_a_stuck_japan_21 PUNC n47_a_stuck_japan_1->n47_a_stuck_japan_21 n47_a_stuck_japan_2->n47_a_stuck_japan_3 n47_a_stuck_japan_5 D n47_a_stuck_japan_4->n47_a_stuck_japan_5 n47_a_stuck_japan_7 N n47_a_stuck_japan_4->n47_a_stuck_japan_7 n47_a_stuck_japan_5->n47_a_stuck_japan_6 n47_a_stuck_japan_7->n47_a_stuck_japan_8 n47_a_stuck_japan_9->n47_a_stuck_japan_10 n47_a_stuck_japan_11->n47_a_stuck_japan_12 n47_a_stuck_japan_14 P-ROLE n47_a_stuck_japan_13->n47_a_stuck_japan_14 n47_a_stuck_japan_16 NP n47_a_stuck_japan_13->n47_a_stuck_japan_16 n47_a_stuck_japan_14->n47_a_stuck_japan_15 n47_a_stuck_japan_17 N n47_a_stuck_japan_16->n47_a_stuck_japan_17 n47_a_stuck_japan_19 NUM n47_a_stuck_japan_16->n47_a_stuck_japan_19 n47_a_stuck_japan_17->n47_a_stuck_japan_18 n47_a_stuck_japan_19->n47_a_stuck_japan_20 n47_a_stuck_japan_21->n47_a_stuck_japan_22 
( (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))