39_a_stuck_japan
Rather the bureaucracy can be terrifying, while huge amounts of public money are spent on activities of dubious utility.
arc(r_0039_0004__can, r_0039_0001__Rather, nim2).
arc(r_0039_0004__can, r_0039_0005__be, scope).
arc(r_0039_0005__be, r_0039_0002__the_r_0039_0003__bureaucracy, arg0).
arc(r_0039_0005__be, r_0039_0006__terrifying, prd).
arc(r_0039_0008__while, r_0039_0004__can, scope).
arc(r_0039_0008__while, r_0039_0014__are, restriction).
arc(r_0039_0010__amounts, r_0039_0009__huge, attrib25).
arc(r_0039_0010__amounts, r_0039_0013__money, r_0039_0011__of).
arc(r_0039_0013__money, r_0039_0012__public, attrib34).
arc(r_0039_0014__are, r_0039_0015__spent, scope).
arc(r_0039_0015__spent, r_0039_0010__amounts, arg1).
arc(r_0039_0015__spent, r_0039_0017__activities, r_0039_0016__on_clr49).
arc(r_0039_0015__spent, z_000_39_a_stuck_japan_42, arg0).
arc(r_0039_0017__activities, r_0039_0020__utility, r_0039_0018__of).
arc(r_0039_0020__utility, r_0039_0019__dubious, attrib56).
fof(formula,axiom,
? [R_0039_0001__RATHER,R_0039_0002__THE_R_0039_0003__BUREAUCRACY,R_0039_0006__TERRIFYING,R_0039_0004__CAN_R_0039_0005__BE,R_0039_0009__HUGE,R_0039_0012__PUBLIC,R_0039_0013__MONEY,R_0039_0010__AMOUNTS,R_0039_0019__DUBIOUS,R_0039_0020__UTILITY,R_0039_0017__ACTIVITIES,Z_000_39_A_STUCK_JAPAN_42,R_0039_0014__ARE_R_0039_0015__SPENT,R_0039_0008__WHILE] :
( r_0039_0001__Rather(R_0039_0001__RATHER)
& r_0039_0002__the_r_0039_0003__bureaucracy(R_0039_0002__THE_R_0039_0003__BUREAUCRACY)
& r_0039_0006__terrifying(R_0039_0006__TERRIFYING)
& r_0039_0009__huge(R_0039_0009__HUGE)
& r_0039_0012__public(R_0039_0012__PUBLIC)
& r_0039_0019__dubious(R_0039_0019__DUBIOUS)
& z_000_39_a_stuck_japan_42(Z_000_39_A_STUCK_JAPAN_42)
& r_0039_0008__while(R_0039_0008__WHILE)
& has_conj1(R_0039_0008__WHILE,R_0039_0014__ARE_R_0039_0015__SPENT)
& r_0039_0014__are_r_0039_0015__spent(R_0039_0014__ARE_R_0039_0015__SPENT)
& has_arg0(R_0039_0014__ARE_R_0039_0015__SPENT,Z_000_39_A_STUCK_JAPAN_42)
& has_r_0039_0016__on_clr49(R_0039_0014__ARE_R_0039_0015__SPENT,R_0039_0017__ACTIVITIES)
& r_0039_0017__activities(R_0039_0017__ACTIVITIES)
& has_r_0039_0018__of(R_0039_0017__ACTIVITIES,R_0039_0020__UTILITY)
& r_0039_0020__utility(R_0039_0020__UTILITY)
& has_attrib56(R_0039_0020__UTILITY,R_0039_0019__DUBIOUS)
& has_arg1(R_0039_0014__ARE_R_0039_0015__SPENT,R_0039_0010__AMOUNTS)
& r_0039_0010__amounts(R_0039_0010__AMOUNTS)
& has_r_0039_0011__of(R_0039_0010__AMOUNTS,R_0039_0013__MONEY)
& r_0039_0013__money(R_0039_0013__MONEY)
& has_attrib34(R_0039_0013__MONEY,R_0039_0012__PUBLIC)
& has_attrib25(R_0039_0010__AMOUNTS,R_0039_0009__HUGE)
& has_conj2(R_0039_0008__WHILE,R_0039_0004__CAN_R_0039_0005__BE)
& r_0039_0004__can_r_0039_0005__be(R_0039_0004__CAN_R_0039_0005__BE)
& has_prd(R_0039_0004__CAN_R_0039_0005__BE,R_0039_0006__TERRIFYING)
& has_arg0(R_0039_0004__CAN_R_0039_0005__BE,R_0039_0002__THE_R_0039_0003__BUREAUCRACY)
& has_nim2(R_0039_0004__CAN_R_0039_0005__BE,R_0039_0001__RATHER) ) ).
( (IP-MAT (ADVP-NIM (ADV Rather;{rather}))
(NP-SBJ (D the;{the})
(N bureaucracy;{bureaucracy}))
(MD;_cat_Vi_ can;{can})
(IP-PPL-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADJ terrifying;{terrifying})))
(PUNC ,)
(PP-SCON (P-CONN while;{while})
(IP-ADV (NP-SBJ (ADJP (ADJ huge;{huge}))
(NS amounts;{amount})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ public;{public}))
(N money;{money}))))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ spent;{spend[on]})
(PP-CLR (P-ROLE on;{on})
(NP (NS activities;{activity})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ dubious;{dubious}))
(N utility;{utility}))))))))
(PUNC .))
(ID 39_a_stuck_japan))