31_a_stuck_japan
Property prices fell off a cliff.
( (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))
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,nim).
fof(formula,axiom,
? [R_0031_0001__PROPERTY_R_0031_0002__PRICES,R_0031_0005__A_R_0031_0006__CLIFF,R_0031_0003__FELL_R_0031_0004__OFF] :
( r_0031_0001__Property_r_0031_0002__prices(R_0031_0001__PROPERTY_R_0031_0002__PRICES)
& r_0031_0005__a_r_0031_0006__cliff(R_0031_0005__A_R_0031_0006__CLIFF)
& r_0031_0003__fell_r_0031_0004__off(R_0031_0003__FELL_R_0031_0004__OFF)
& has_nim(R_0031_0003__FELL_R_0031_0004__OFF,R_0031_0005__A_R_0031_0006__CLIFF)
& has_arg0(R_0031_0003__FELL_R_0031_0004__OFF,R_0031_0001__PROPERTY_R_0031_0002__PRICES) ) ).