111_a_stuck_japan
Real wages haven't grown here in 30 years.
arc(r_0111_0002__wages, r_0111_0001__Real, attrib3).
arc(r_0111_0003__have, r_0111_0004__n_apos_t, scope).
arc(r_0111_0004__n_apos_t, r_0111_0005__grown, keep_scope).
arc(r_0111_0005__grown, r_0111_0002__wages, arg0).
arc(r_0111_0005__grown, r_0111_0006__here, nim15).
arc(r_0111_0005__grown, r_0111_0008__30_r_0111_0009__years, r_0111_0007__in_nim21).
fof(formula,axiom,
~ ? [R_111_5_GROWN,R_111_2_WAGES,R_111_1_REAL,R_111_6_HERE,R_111_8_30_YEARS] :
( real(R_111_1_REAL)
& here(R_111_6_HERE)
& 30_years(R_111_8_30_YEARS)
& grown(R_111_5_GROWN,R_111_2_WAGES)
& wages(R_111_2_WAGES)
& attrib3(R_111_2_WAGES,R_111_1_REAL)
& nim15(R_111_5_GROWN,R_111_6_HERE)
& in_nim21(R_111_5_GROWN,R_111_8_30_YEARS) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Real;{real}))
(NS wages;{wages}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NEG n<apos>t;{not})
(VVN;__ grown;{grow})
(ADVP-NIM (ADV here;{here}))
(PP-NIM (P-ROLE in;{in})
(NP (NUM 30)
(NS years;{year}))))
(PUNC .))
(ID 111_a_stuck_japan))