31_a_stuck_japan
Property prices fell off a cliff.

%3 r_0031_0003__fell_r_0031_0004__off fell off r_0031_0001__Property_r_0031_0002__prices Property prices r_0031_0003__fell_r_0031_0004__off->r_0031_0001__Property_r_0031_0002__prices [arg0] r_0031_0005__a_r_0031_0006__cliff a cliff r_0031_0003__fell_r_0031_0004__off->r_0031_0005__a_r_0031_0006__cliff [nim]
arc(r_0031_0003__fell_r_0031_0004__off, r_0031_0001__Property_r_0031_0002__prices, arg0).
arc(r_0031_0003__fell_r_0031_0004__off, r_0031_0005__a_r_0031_0006__cliff, nim11).



%3 r_0031_0003__fell_r_0031_0004__off fell off r_0031_0001__Property_r_0031_0002__prices Property prices r_0031_0003__fell_r_0031_0004__off->r_0031_0001__Property_r_0031_0002__prices [arg0] r_0031_0005__a_r_0031_0006__cliff a cliff r_0031_0003__fell_r_0031_0004__off->r_0031_0005__a_r_0031_0006__cliff [nim]
fof(formula,axiom,
    ? [R_31_3_FELL_OFF,R_31_1_PROPERTY_PRICES,R_31_5_A_CLIFF] :
      ( property_prices(R_31_1_PROPERTY_PRICES)
      & a_cliff(R_31_5_A_CLIFF)
      & fell_off(R_31_3_FELL_OFF,R_31_1_PROPERTY_PRICES)
      & nim11(R_31_3_FELL_OFF,R_31_5_A_CLIFF) ) ).



n31_a_stuck_japan n31_a_stuck_japan_4 Property n31_a_stuck_japan_6 prices n31_a_stuck_japan_8 fell n31_a_stuck_japan_10 off n31_a_stuck_japan_13 a n31_a_stuck_japan_15 cliff n31_a_stuck_japan_17 . n31_a_stuck_japan_1 IP-MAT n31_a_stuck_japan_2 NP-SBJ n31_a_stuck_japan_1->n31_a_stuck_japan_2 n31_a_stuck_japan_7 VBD;__ n31_a_stuck_japan_1->n31_a_stuck_japan_7 n31_a_stuck_japan_9 RP n31_a_stuck_japan_1->n31_a_stuck_japan_9 n31_a_stuck_japan_11 NP-NIM n31_a_stuck_japan_1->n31_a_stuck_japan_11 n31_a_stuck_japan_16 PUNC n31_a_stuck_japan_1->n31_a_stuck_japan_16 n31_a_stuck_japan_3 N n31_a_stuck_japan_2->n31_a_stuck_japan_3 n31_a_stuck_japan_5 NS n31_a_stuck_japan_2->n31_a_stuck_japan_5 n31_a_stuck_japan_3->n31_a_stuck_japan_4 n31_a_stuck_japan_5->n31_a_stuck_japan_6 n31_a_stuck_japan_7->n31_a_stuck_japan_8 n31_a_stuck_japan_9->n31_a_stuck_japan_10 n31_a_stuck_japan_12 D n31_a_stuck_japan_11->n31_a_stuck_japan_12 n31_a_stuck_japan_14 N n31_a_stuck_japan_11->n31_a_stuck_japan_14 n31_a_stuck_japan_12->n31_a_stuck_japan_13 n31_a_stuck_japan_14->n31_a_stuck_japan_15 n31_a_stuck_japan_16->n31_a_stuck_japan_17
( (IP-MAT (NP-SBJ (N Property;{property})
                  (NS prices;{price}))
          (VBD;__ fell;{fall})
          (RP off;{off})
          (NP-NIM (D a;{a})
                  (N cliff;{cliff}))
          (PUNC .))
  (ID 31_a_stuck_japan))