Context                Previous, Next                Top


39_a_stuck_japan
Rather the bureaucracy can be terrifying, while huge amounts of public money are spent on activities of dubious utility.

%3 r_0039_0004__can can r_0039_0001__Rather Rather r_0039_0004__can->r_0039_0001__Rather [nim] r_0039_0005__be be r_0039_0004__can->r_0039_0005__be [scope] r_0039_0002__the_r_0039_0003__bureaucracy the bureaucracy r_0039_0005__be->r_0039_0002__the_r_0039_0003__bureaucracy [arg0] r_0039_0006__terrifying terrifying r_0039_0005__be->r_0039_0006__terrifying [prd] r_0039_0008__while while r_0039_0008__while->r_0039_0004__can [scope] r_0039_0014__are are r_0039_0008__while->r_0039_0014__are [restriction] r_0039_0015__spent spent r_0039_0014__are->r_0039_0015__spent [scope] r_0039_0010__amounts amounts r_0039_0009__huge huge r_0039_0010__amounts->r_0039_0009__huge [attrib] r_0039_0013__money money r_0039_0010__amounts->r_0039_0013__money of r_0039_0012__public public r_0039_0013__money->r_0039_0012__public [attrib] r_0039_0015__spent->r_0039_0010__amounts [arg1] r_0039_0017__activities activities r_0039_0015__spent->r_0039_0017__activities on [clr] z_000_39_a_stuck_japan_42 r_0039_0015__spent->z_000_39_a_stuck_japan_42 [arg0] r_0039_0020__utility utility r_0039_0017__activities->r_0039_0020__utility of r_0039_0019__dubious dubious r_0039_0020__utility->r_0039_0019__dubious [attrib] 
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).


%3 r_0039_0020__utility utility r_0039_0019__dubious dubious r_0039_0020__utility->r_0039_0019__dubious [attrib] r_0039_0017__activities activities r_0039_0017__activities->r_0039_0020__utility of r_0039_0014__are_r_0039_0015__spent are spent r_0039_0014__are_r_0039_0015__spent->r_0039_0017__activities on [clr] z_000_39_a_stuck_japan_42 r_0039_0014__are_r_0039_0015__spent->z_000_39_a_stuck_japan_42 [arg0] r_0039_0010__amounts amounts r_0039_0014__are_r_0039_0015__spent->r_0039_0010__amounts [arg1] r_0039_0013__money money r_0039_0010__amounts->r_0039_0013__money of r_0039_0009__huge huge r_0039_0010__amounts->r_0039_0009__huge [attrib] r_0039_0012__public public r_0039_0013__money->r_0039_0012__public [attrib] r_0039_0008__while while r_0039_0008__while->r_0039_0014__are_r_0039_0015__spent [conj1] r_0039_0004__can_r_0039_0005__be can be r_0039_0008__while->r_0039_0004__can_r_0039_0005__be [conj2] r_0039_0006__terrifying terrifying r_0039_0004__can_r_0039_0005__be->r_0039_0006__terrifying [prd] r_0039_0002__the_r_0039_0003__bureaucracy the bureaucracy r_0039_0004__can_r_0039_0005__be->r_0039_0002__the_r_0039_0003__bureaucracy [arg0] r_0039_0001__Rather Rather r_0039_0004__can_r_0039_0005__be->r_0039_0001__Rather [nim] 
fof(formula,axiom,
    ? [R_39_8_WHILE,R_39_14_ARE_SPENT,Z_39_A_STUCK_JAPAN_42,R_39_10_AMOUNTS,R_39_9_HUGE,R_39_13_MONEY,R_39_12_PUBLIC,R_39_17_ACTIVITIES,R_39_20_UTILITY,R_39_19_DUBIOUS,R_39_4_CAN_BE,R_39_2_THE_BUREAUCRACY,R_39_1_RATHER,R_39_6_TERRIFYING] :
      ( huge(R_39_9_HUGE)
      & public(R_39_12_PUBLIC)
      & dubious(R_39_19_DUBIOUS)
      & the_bureaucracy(R_39_2_THE_BUREAUCRACY)
      & rather(R_39_1_RATHER)
      & terrifying(R_39_6_TERRIFYING)
      & while(R_39_8_WHILE)
      & conj1(R_39_8_WHILE,R_39_14_ARE_SPENT)
      & are_spent(R_39_14_ARE_SPENT,Z_39_A_STUCK_JAPAN_42,R_39_10_AMOUNTS)
      & amounts(R_39_10_AMOUNTS)
      & attrib25(R_39_10_AMOUNTS,R_39_9_HUGE)
      & of(R_39_10_AMOUNTS,R_39_13_MONEY)
      & money(R_39_13_MONEY)
      & attrib34(R_39_13_MONEY,R_39_12_PUBLIC)
      & on_clr49(R_39_14_ARE_SPENT,R_39_17_ACTIVITIES)
      & activities(R_39_17_ACTIVITIES)
      & of(R_39_17_ACTIVITIES,R_39_20_UTILITY)
      & utility(R_39_20_UTILITY)
      & attrib56(R_39_20_UTILITY,R_39_19_DUBIOUS)
      & conj2(R_39_8_WHILE,R_39_4_CAN_BE)
      & can_be(R_39_4_CAN_BE,R_39_2_THE_BUREAUCRACY,R_39_6_TERRIFYING)
      & nim2(R_39_4_CAN_BE,R_39_1_RATHER) ) ).


n39_a_stuck_japan n39_a_stuck_japan__1_1_1_1 Rather n39_a_stuck_japan__1_2_1_1 the n39_a_stuck_japan__1_2_2_1 bureaucracy n39_a_stuck_japan__1_3_1 can n39_a_stuck_japan__1_4_1_1 be n39_a_stuck_japan__1_4_2_1_1 terrifying n39_a_stuck_japan__1_5_1 , n39_a_stuck_japan__1_6_1_1 while n39_a_stuck_japan__1_6_2_1_1_1_1 huge n39_a_stuck_japan__1_6_2_1_2_1 amounts n39_a_stuck_japan__1_6_2_1_3_1_1 of n39_a_stuck_japan__1_6_2_1_3_2_1_1_1 public n39_a_stuck_japan__1_6_2_1_3_2_2_1 money n39_a_stuck_japan__1_6_2_2_1 are n39_a_stuck_japan__1_6_2_3_1_1 * n39_a_stuck_japan__1_6_2_3_2_1 spent n39_a_stuck_japan__1_6_2_3_3_1_1 on n39_a_stuck_japan__1_6_2_3_3_2_1_1 activities n39_a_stuck_japan__1_6_2_3_3_2_2_1_1 of n39_a_stuck_japan__1_6_2_3_3_2_2_2_1_1_1 dubious n39_a_stuck_japan__1_6_2_3_3_2_2_2_2_1 utility n39_a_stuck_japan__1_7_1 . n39_a_stuck_japan__1 IP-MAT n39_a_stuck_japan__1_1 ADVP-NIM n39_a_stuck_japan__1->n39_a_stuck_japan__1_1 n39_a_stuck_japan__1_2 NP-SBJ n39_a_stuck_japan__1->n39_a_stuck_japan__1_2 n39_a_stuck_japan__1_3 MD;_cat_Vi_ n39_a_stuck_japan__1->n39_a_stuck_japan__1_3 n39_a_stuck_japan__1_4 IP-PPL-CAT n39_a_stuck_japan__1->n39_a_stuck_japan__1_4 n39_a_stuck_japan__1_5 PUNC n39_a_stuck_japan__1->n39_a_stuck_japan__1_5 n39_a_stuck_japan__1_6 PP-SCON n39_a_stuck_japan__1->n39_a_stuck_japan__1_6 n39_a_stuck_japan__1_7 PUNC n39_a_stuck_japan__1->n39_a_stuck_japan__1_7 n39_a_stuck_japan__1_1_1 ADV n39_a_stuck_japan__1_1->n39_a_stuck_japan__1_1_1 n39_a_stuck_japan__1_1_1->n39_a_stuck_japan__1_1_1_1 n39_a_stuck_japan__1_2_1 D n39_a_stuck_japan__1_2->n39_a_stuck_japan__1_2_1 n39_a_stuck_japan__1_2_2 N n39_a_stuck_japan__1_2->n39_a_stuck_japan__1_2_2 n39_a_stuck_japan__1_2_1->n39_a_stuck_japan__1_2_1_1 n39_a_stuck_japan__1_2_2->n39_a_stuck_japan__1_2_2_1 n39_a_stuck_japan__1_3->n39_a_stuck_japan__1_3_1 n39_a_stuck_japan__1_4_1 BE;_La_ n39_a_stuck_japan__1_4->n39_a_stuck_japan__1_4_1 n39_a_stuck_japan__1_4_2 ADJP-PRD n39_a_stuck_japan__1_4->n39_a_stuck_japan__1_4_2 n39_a_stuck_japan__1_4_1->n39_a_stuck_japan__1_4_1_1 n39_a_stuck_japan__1_4_2_1 ADJ n39_a_stuck_japan__1_4_2->n39_a_stuck_japan__1_4_2_1 n39_a_stuck_japan__1_4_2_1->n39_a_stuck_japan__1_4_2_1_1 n39_a_stuck_japan__1_5->n39_a_stuck_japan__1_5_1 n39_a_stuck_japan__1_6_1 P-CONN n39_a_stuck_japan__1_6->n39_a_stuck_japan__1_6_1 n39_a_stuck_japan__1_6_2 IP-ADV n39_a_stuck_japan__1_6->n39_a_stuck_japan__1_6_2 n39_a_stuck_japan__1_6_1->n39_a_stuck_japan__1_6_1_1 n39_a_stuck_japan__1_6_2_1 NP-SBJ n39_a_stuck_japan__1_6_2->n39_a_stuck_japan__1_6_2_1 n39_a_stuck_japan__1_6_2_2 BEP;_cat_VePASS_ n39_a_stuck_japan__1_6_2->n39_a_stuck_japan__1_6_2_2 n39_a_stuck_japan__1_6_2_3 IP-PPL-CAT n39_a_stuck_japan__1_6_2->n39_a_stuck_japan__1_6_2_3 n39_a_stuck_japan__1_6_2_1_1 ADJP n39_a_stuck_japan__1_6_2_1->n39_a_stuck_japan__1_6_2_1_1 n39_a_stuck_japan__1_6_2_1_2 NS n39_a_stuck_japan__1_6_2_1->n39_a_stuck_japan__1_6_2_1_2 n39_a_stuck_japan__1_6_2_1_3 PP n39_a_stuck_japan__1_6_2_1->n39_a_stuck_japan__1_6_2_1_3 n39_a_stuck_japan__1_6_2_1_1_1 ADJ n39_a_stuck_japan__1_6_2_1_1->n39_a_stuck_japan__1_6_2_1_1_1 n39_a_stuck_japan__1_6_2_1_1_1->n39_a_stuck_japan__1_6_2_1_1_1_1 n39_a_stuck_japan__1_6_2_1_2->n39_a_stuck_japan__1_6_2_1_2_1 n39_a_stuck_japan__1_6_2_1_3_1 P-ROLE n39_a_stuck_japan__1_6_2_1_3->n39_a_stuck_japan__1_6_2_1_3_1 n39_a_stuck_japan__1_6_2_1_3_2 NP n39_a_stuck_japan__1_6_2_1_3->n39_a_stuck_japan__1_6_2_1_3_2 n39_a_stuck_japan__1_6_2_1_3_1->n39_a_stuck_japan__1_6_2_1_3_1_1 n39_a_stuck_japan__1_6_2_1_3_2_1 ADJP n39_a_stuck_japan__1_6_2_1_3_2->n39_a_stuck_japan__1_6_2_1_3_2_1 n39_a_stuck_japan__1_6_2_1_3_2_2 N n39_a_stuck_japan__1_6_2_1_3_2->n39_a_stuck_japan__1_6_2_1_3_2_2 n39_a_stuck_japan__1_6_2_1_3_2_1_1 ADJ n39_a_stuck_japan__1_6_2_1_3_2_1->n39_a_stuck_japan__1_6_2_1_3_2_1_1 n39_a_stuck_japan__1_6_2_1_3_2_1_1->n39_a_stuck_japan__1_6_2_1_3_2_1_1_1 n39_a_stuck_japan__1_6_2_1_3_2_2->n39_a_stuck_japan__1_6_2_1_3_2_2_1 n39_a_stuck_japan__1_6_2_2->n39_a_stuck_japan__1_6_2_2_1 n39_a_stuck_japan__1_6_2_3_1 NP-LGS n39_a_stuck_japan__1_6_2_3->n39_a_stuck_japan__1_6_2_3_1 n39_a_stuck_japan__1_6_2_3_2 VVN;_Tn.pr_ n39_a_stuck_japan__1_6_2_3->n39_a_stuck_japan__1_6_2_3_2 n39_a_stuck_japan__1_6_2_3_3 PP-CLR n39_a_stuck_japan__1_6_2_3->n39_a_stuck_japan__1_6_2_3_3 n39_a_stuck_japan__1_6_2_3_1->n39_a_stuck_japan__1_6_2_3_1_1 n39_a_stuck_japan__1_6_2_3_2->n39_a_stuck_japan__1_6_2_3_2_1 n39_a_stuck_japan__1_6_2_3_3_1 P-ROLE n39_a_stuck_japan__1_6_2_3_3->n39_a_stuck_japan__1_6_2_3_3_1 n39_a_stuck_japan__1_6_2_3_3_2 NP n39_a_stuck_japan__1_6_2_3_3->n39_a_stuck_japan__1_6_2_3_3_2 n39_a_stuck_japan__1_6_2_3_3_1->n39_a_stuck_japan__1_6_2_3_3_1_1 n39_a_stuck_japan__1_6_2_3_3_2_1 NS n39_a_stuck_japan__1_6_2_3_3_2->n39_a_stuck_japan__1_6_2_3_3_2_1 n39_a_stuck_japan__1_6_2_3_3_2_2 PP n39_a_stuck_japan__1_6_2_3_3_2->n39_a_stuck_japan__1_6_2_3_3_2_2 n39_a_stuck_japan__1_6_2_3_3_2_1->n39_a_stuck_japan__1_6_2_3_3_2_1_1 n39_a_stuck_japan__1_6_2_3_3_2_2_1 P-ROLE n39_a_stuck_japan__1_6_2_3_3_2_2->n39_a_stuck_japan__1_6_2_3_3_2_2_1 n39_a_stuck_japan__1_6_2_3_3_2_2_2 NP n39_a_stuck_japan__1_6_2_3_3_2_2->n39_a_stuck_japan__1_6_2_3_3_2_2_2 n39_a_stuck_japan__1_6_2_3_3_2_2_1->n39_a_stuck_japan__1_6_2_3_3_2_2_1_1 n39_a_stuck_japan__1_6_2_3_3_2_2_2_1 ADJP n39_a_stuck_japan__1_6_2_3_3_2_2_2->n39_a_stuck_japan__1_6_2_3_3_2_2_2_1 n39_a_stuck_japan__1_6_2_3_3_2_2_2_2 N n39_a_stuck_japan__1_6_2_3_3_2_2_2->n39_a_stuck_japan__1_6_2_3_3_2_2_2_2 n39_a_stuck_japan__1_6_2_3_3_2_2_2_1_1 ADJ n39_a_stuck_japan__1_6_2_3_3_2_2_2_1->n39_a_stuck_japan__1_6_2_3_3_2_2_2_1_1 n39_a_stuck_japan__1_6_2_3_3_2_2_2_1_1->n39_a_stuck_japan__1_6_2_3_3_2_2_2_1_1_1 n39_a_stuck_japan__1_6_2_3_3_2_2_2_2->n39_a_stuck_japan__1_6_2_3_3_2_2_2_2_1 n39_a_stuck_japan__1_7->n39_a_stuck_japan__1_7_1 
( (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))