27_a_stuck_japan
By the mid-1980s, the joke was that the grounds of the imperial palace in Tokyo were worth the same as all of California.

%3 r_0027_0007__was was r_0027_0002__the_r_0027_0003__mid_hyphen_1980s the mid-1980s r_0027_0007__was->r_0027_0002__the_r_0027_0003__mid_hyphen_1980s By [nim] r_0027_0005__the_r_0027_0006__joke the joke r_0027_0007__was->r_0027_0005__the_r_0027_0006__joke [arg0] r_0027_0008__that_r_0027_0017__were that were r_0027_0007__was->r_0027_0008__that_r_0027_0017__were [prd] r_0027_0009__the_r_0027_0010__grounds the grounds r_0027_0008__that_r_0027_0017__were->r_0027_0009__the_r_0027_0010__grounds [arg0] r_0027_0018__worth worth r_0027_0008__that_r_0027_0017__were->r_0027_0018__worth [prd] r_0027_0022__all all r_0027_0008__that_r_0027_0017__were->r_0027_0022__all as [nim] r_0027_0012__the_r_0027_0014__palace the palace r_0027_0009__the_r_0027_0010__grounds->r_0027_0012__the_r_0027_0014__palace of r_0027_0024__California California r_0027_0022__all->r_0027_0024__California of r_0027_0013__imperial imperial r_0027_0012__the_r_0027_0014__palace->r_0027_0013__imperial [attrib] r_0027_0016__Tokyo Tokyo r_0027_0012__the_r_0027_0014__palace->r_0027_0016__Tokyo in
arc(r_0027_0007__was, r_0027_0002__the_r_0027_0003__mid_hyphen_1980s, r_0027_0001__By_nim5).
arc(r_0027_0007__was, r_0027_0005__the_r_0027_0006__joke, arg0).
arc(r_0027_0007__was, r_0027_0008__that_r_0027_0017__were, prd).
arc(r_0027_0008__that_r_0027_0017__were, r_0027_0009__the_r_0027_0010__grounds, arg0).
arc(r_0027_0008__that_r_0027_0017__were, r_0027_0018__worth, prd).
arc(r_0027_0008__that_r_0027_0017__were, r_0027_0022__all, r_0027_0021__as_nim59).
arc(r_0027_0009__the_r_0027_0010__grounds, r_0027_0012__the_r_0027_0014__palace, r_0027_0011__of).
arc(r_0027_0012__the_r_0027_0014__palace, r_0027_0013__imperial, attrib34).
arc(r_0027_0012__the_r_0027_0014__palace, r_0027_0016__Tokyo, r_0027_0015__in).
arc(r_0027_0022__all, r_0027_0024__California, r_0027_0023__of).



%3 r_0027_0022__all all r_0027_0024__California California r_0027_0022__all->r_0027_0024__California of r_0027_0012__the_r_0027_0014__palace the palace r_0027_0016__Tokyo Tokyo r_0027_0012__the_r_0027_0014__palace->r_0027_0016__Tokyo in r_0027_0013__imperial imperial r_0027_0012__the_r_0027_0014__palace->r_0027_0013__imperial [attrib] r_0027_0009__the_r_0027_0010__grounds the grounds r_0027_0009__the_r_0027_0010__grounds->r_0027_0012__the_r_0027_0014__palace of r_0027_0008__that_r_0027_0017__were that were r_0027_0008__that_r_0027_0017__were->r_0027_0022__all as [nim] r_0027_0008__that_r_0027_0017__were->r_0027_0009__the_r_0027_0010__grounds [arg0] r_0027_0018__worth worth r_0027_0008__that_r_0027_0017__were->r_0027_0018__worth [prd] r_0027_0007__was was r_0027_0007__was->r_0027_0008__that_r_0027_0017__were [prd] r_0027_0005__the_r_0027_0006__joke the joke r_0027_0007__was->r_0027_0005__the_r_0027_0006__joke [arg0] r_0027_0002__the_r_0027_0003__mid_hyphen_1980s the mid-1980s r_0027_0007__was->r_0027_0002__the_r_0027_0003__mid_hyphen_1980s By [nim]
fof(formula,axiom,
    ? [R_27_7_WAS,R_27_5_THE_JOKE,R_27_8_THAT_WERE,R_27_9_THE_GROUNDS,R_27_12_THE_PALACE,R_27_13_IMPERIAL,R_27_16_TOKYO,R_27_18_WORTH,R_27_22_ALL,R_27_24_CALIFORNIA,R_27_2_THE_MID_HYPHEN_1980S] :
      ( the_joke(R_27_5_THE_JOKE)
      & imperial(R_27_13_IMPERIAL)
      & tokyo(R_27_16_TOKYO)
      & worth(R_27_18_WORTH)
      & california(R_27_24_CALIFORNIA)
      & the_mid_hyphen_1980s(R_27_2_THE_MID_HYPHEN_1980S)
      & was(R_27_7_WAS,R_27_5_THE_JOKE,R_27_8_THAT_WERE)
      & that_were(R_27_8_THAT_WERE,R_27_9_THE_GROUNDS,R_27_18_WORTH)
      & the_grounds(R_27_9_THE_GROUNDS)
      & of(R_27_9_THE_GROUNDS,R_27_12_THE_PALACE)
      & the_palace(R_27_12_THE_PALACE)
      & attrib34(R_27_12_THE_PALACE,R_27_13_IMPERIAL)
      & in(R_27_12_THE_PALACE,R_27_16_TOKYO)
      & as_nim59(R_27_8_THAT_WERE,R_27_22_ALL)
      & all(R_27_22_ALL)
      & of(R_27_22_ALL,R_27_24_CALIFORNIA)
      & by_nim5(R_27_7_WAS,R_27_2_THE_MID_HYPHEN_1980S) ) ).



n27_a_stuck_japan n27_a_stuck_japan__1_1_1_1 By n27_a_stuck_japan__1_1_2_1_1 the n27_a_stuck_japan__1_1_2_2_1 mid-1980s n27_a_stuck_japan__1_2_1 , n27_a_stuck_japan__1_3_1_1 the n27_a_stuck_japan__1_3_2_1 joke n27_a_stuck_japan__1_4_1 was n27_a_stuck_japan__1_5_1_1_1 that n27_a_stuck_japan__1_5_1_2_1_1 the n27_a_stuck_japan__1_5_1_2_2_1 grounds n27_a_stuck_japan__1_5_1_2_3_1_1 of n27_a_stuck_japan__1_5_1_2_3_2_1_1 the n27_a_stuck_japan__1_5_1_2_3_2_2_1_1 imperial n27_a_stuck_japan__1_5_1_2_3_2_3_1 palace n27_a_stuck_japan__1_5_1_2_3_2_4_1_1 in n27_a_stuck_japan__1_5_1_2_3_2_4_2_1_1 Tokyo n27_a_stuck_japan__1_5_1_3_1 were n27_a_stuck_japan__1_5_1_4_1_1 worth n27_a_stuck_japan__1_5_1_5_1_1_1 the n27_a_stuck_japan__1_5_1_5_1_2_1_1 same n27_a_stuck_japan__1_5_1_5_2_1 as n27_a_stuck_japan__1_5_1_5_3_1_1 all n27_a_stuck_japan__1_5_1_5_3_2_1_1 of n27_a_stuck_japan__1_5_1_5_3_2_2_1_1 California n27_a_stuck_japan__1_6_1 . n27_a_stuck_japan__1 IP-MAT n27_a_stuck_japan__1_1 PP-NIM n27_a_stuck_japan__1->n27_a_stuck_japan__1_1 n27_a_stuck_japan__1_2 PUNC n27_a_stuck_japan__1->n27_a_stuck_japan__1_2 n27_a_stuck_japan__1_3 NP-SBJ n27_a_stuck_japan__1->n27_a_stuck_japan__1_3 n27_a_stuck_japan__1_4 BED;_equ_Vf_ n27_a_stuck_japan__1->n27_a_stuck_japan__1_4 n27_a_stuck_japan__1_5 CP-THT-PRD n27_a_stuck_japan__1->n27_a_stuck_japan__1_5 n27_a_stuck_japan__1_6 PUNC n27_a_stuck_japan__1->n27_a_stuck_japan__1_6 n27_a_stuck_japan__1_1_1 P-ROLE n27_a_stuck_japan__1_1->n27_a_stuck_japan__1_1_1 n27_a_stuck_japan__1_1_2 NP n27_a_stuck_japan__1_1->n27_a_stuck_japan__1_1_2 n27_a_stuck_japan__1_1_1->n27_a_stuck_japan__1_1_1_1 n27_a_stuck_japan__1_1_2_1 D n27_a_stuck_japan__1_1_2->n27_a_stuck_japan__1_1_2_1 n27_a_stuck_japan__1_1_2_2 NS n27_a_stuck_japan__1_1_2->n27_a_stuck_japan__1_1_2_2 n27_a_stuck_japan__1_1_2_1->n27_a_stuck_japan__1_1_2_1_1 n27_a_stuck_japan__1_1_2_2->n27_a_stuck_japan__1_1_2_2_1 n27_a_stuck_japan__1_2->n27_a_stuck_japan__1_2_1 n27_a_stuck_japan__1_3_1 D n27_a_stuck_japan__1_3->n27_a_stuck_japan__1_3_1 n27_a_stuck_japan__1_3_2 N n27_a_stuck_japan__1_3->n27_a_stuck_japan__1_3_2 n27_a_stuck_japan__1_3_1->n27_a_stuck_japan__1_3_1_1 n27_a_stuck_japan__1_3_2->n27_a_stuck_japan__1_3_2_1 n27_a_stuck_japan__1_4->n27_a_stuck_japan__1_4_1 n27_a_stuck_japan__1_5_1 IP-SUB n27_a_stuck_japan__1_5->n27_a_stuck_japan__1_5_1 n27_a_stuck_japan__1_5_1_1 C n27_a_stuck_japan__1_5_1->n27_a_stuck_japan__1_5_1_1 n27_a_stuck_japan__1_5_1_2 NP-SBJ n27_a_stuck_japan__1_5_1->n27_a_stuck_japan__1_5_1_2 n27_a_stuck_japan__1_5_1_3 BED;_La_ n27_a_stuck_japan__1_5_1->n27_a_stuck_japan__1_5_1_3 n27_a_stuck_japan__1_5_1_4 ADJP-PRD n27_a_stuck_japan__1_5_1->n27_a_stuck_japan__1_5_1_4 n27_a_stuck_japan__1_5_1_5 PP-NIM n27_a_stuck_japan__1_5_1->n27_a_stuck_japan__1_5_1_5 n27_a_stuck_japan__1_5_1_1->n27_a_stuck_japan__1_5_1_1_1 n27_a_stuck_japan__1_5_1_2_1 D n27_a_stuck_japan__1_5_1_2->n27_a_stuck_japan__1_5_1_2_1 n27_a_stuck_japan__1_5_1_2_2 NS n27_a_stuck_japan__1_5_1_2->n27_a_stuck_japan__1_5_1_2_2 n27_a_stuck_japan__1_5_1_2_3 PP n27_a_stuck_japan__1_5_1_2->n27_a_stuck_japan__1_5_1_2_3 n27_a_stuck_japan__1_5_1_2_1->n27_a_stuck_japan__1_5_1_2_1_1 n27_a_stuck_japan__1_5_1_2_2->n27_a_stuck_japan__1_5_1_2_2_1 n27_a_stuck_japan__1_5_1_2_3_1 P-ROLE n27_a_stuck_japan__1_5_1_2_3->n27_a_stuck_japan__1_5_1_2_3_1 n27_a_stuck_japan__1_5_1_2_3_2 NP n27_a_stuck_japan__1_5_1_2_3->n27_a_stuck_japan__1_5_1_2_3_2 n27_a_stuck_japan__1_5_1_2_3_1->n27_a_stuck_japan__1_5_1_2_3_1_1 n27_a_stuck_japan__1_5_1_2_3_2_1 D n27_a_stuck_japan__1_5_1_2_3_2->n27_a_stuck_japan__1_5_1_2_3_2_1 n27_a_stuck_japan__1_5_1_2_3_2_2 ADJP n27_a_stuck_japan__1_5_1_2_3_2->n27_a_stuck_japan__1_5_1_2_3_2_2 n27_a_stuck_japan__1_5_1_2_3_2_3 N n27_a_stuck_japan__1_5_1_2_3_2->n27_a_stuck_japan__1_5_1_2_3_2_3 n27_a_stuck_japan__1_5_1_2_3_2_4 PP n27_a_stuck_japan__1_5_1_2_3_2->n27_a_stuck_japan__1_5_1_2_3_2_4 n27_a_stuck_japan__1_5_1_2_3_2_1->n27_a_stuck_japan__1_5_1_2_3_2_1_1 n27_a_stuck_japan__1_5_1_2_3_2_2_1 ADJ n27_a_stuck_japan__1_5_1_2_3_2_2->n27_a_stuck_japan__1_5_1_2_3_2_2_1 n27_a_stuck_japan__1_5_1_2_3_2_2_1->n27_a_stuck_japan__1_5_1_2_3_2_2_1_1 n27_a_stuck_japan__1_5_1_2_3_2_3->n27_a_stuck_japan__1_5_1_2_3_2_3_1 n27_a_stuck_japan__1_5_1_2_3_2_4_1 P-ROLE n27_a_stuck_japan__1_5_1_2_3_2_4->n27_a_stuck_japan__1_5_1_2_3_2_4_1 n27_a_stuck_japan__1_5_1_2_3_2_4_2 NP n27_a_stuck_japan__1_5_1_2_3_2_4->n27_a_stuck_japan__1_5_1_2_3_2_4_2 n27_a_stuck_japan__1_5_1_2_3_2_4_1->n27_a_stuck_japan__1_5_1_2_3_2_4_1_1 n27_a_stuck_japan__1_5_1_2_3_2_4_2_1 NPR n27_a_stuck_japan__1_5_1_2_3_2_4_2->n27_a_stuck_japan__1_5_1_2_3_2_4_2_1 n27_a_stuck_japan__1_5_1_2_3_2_4_2_1->n27_a_stuck_japan__1_5_1_2_3_2_4_2_1_1 n27_a_stuck_japan__1_5_1_3->n27_a_stuck_japan__1_5_1_3_1 n27_a_stuck_japan__1_5_1_4_1 ADJ n27_a_stuck_japan__1_5_1_4->n27_a_stuck_japan__1_5_1_4_1 n27_a_stuck_japan__1_5_1_4_1->n27_a_stuck_japan__1_5_1_4_1_1 n27_a_stuck_japan__1_5_1_5_1 NP n27_a_stuck_japan__1_5_1_5->n27_a_stuck_japan__1_5_1_5_1 n27_a_stuck_japan__1_5_1_5_2 P-ROLE n27_a_stuck_japan__1_5_1_5->n27_a_stuck_japan__1_5_1_5_2 n27_a_stuck_japan__1_5_1_5_3 NP n27_a_stuck_japan__1_5_1_5->n27_a_stuck_japan__1_5_1_5_3 n27_a_stuck_japan__1_5_1_5_1_1 D n27_a_stuck_japan__1_5_1_5_1->n27_a_stuck_japan__1_5_1_5_1_1 n27_a_stuck_japan__1_5_1_5_1_2 ADJP n27_a_stuck_japan__1_5_1_5_1->n27_a_stuck_japan__1_5_1_5_1_2 n27_a_stuck_japan__1_5_1_5_1_1->n27_a_stuck_japan__1_5_1_5_1_1_1 n27_a_stuck_japan__1_5_1_5_1_2_1 ADJ n27_a_stuck_japan__1_5_1_5_1_2->n27_a_stuck_japan__1_5_1_5_1_2_1 n27_a_stuck_japan__1_5_1_5_1_2_1->n27_a_stuck_japan__1_5_1_5_1_2_1_1 n27_a_stuck_japan__1_5_1_5_2->n27_a_stuck_japan__1_5_1_5_2_1 n27_a_stuck_japan__1_5_1_5_3_1 D n27_a_stuck_japan__1_5_1_5_3->n27_a_stuck_japan__1_5_1_5_3_1 n27_a_stuck_japan__1_5_1_5_3_2 PP n27_a_stuck_japan__1_5_1_5_3->n27_a_stuck_japan__1_5_1_5_3_2 n27_a_stuck_japan__1_5_1_5_3_1->n27_a_stuck_japan__1_5_1_5_3_1_1 n27_a_stuck_japan__1_5_1_5_3_2_1 P-ROLE n27_a_stuck_japan__1_5_1_5_3_2->n27_a_stuck_japan__1_5_1_5_3_2_1 n27_a_stuck_japan__1_5_1_5_3_2_2 NP n27_a_stuck_japan__1_5_1_5_3_2->n27_a_stuck_japan__1_5_1_5_3_2_2 n27_a_stuck_japan__1_5_1_5_3_2_1->n27_a_stuck_japan__1_5_1_5_3_2_1_1 n27_a_stuck_japan__1_5_1_5_3_2_2_1 NPR n27_a_stuck_japan__1_5_1_5_3_2_2->n27_a_stuck_japan__1_5_1_5_3_2_2_1 n27_a_stuck_japan__1_5_1_5_3_2_2_1->n27_a_stuck_japan__1_5_1_5_3_2_2_1_1 n27_a_stuck_japan__1_6->n27_a_stuck_japan__1_6_1
( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D the;{the})
                      (NS mid<hyphen>1980s;{mid<hyphen>1980})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N joke;{joke}))
          (BED;_equ_Vf_ was;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (NS grounds;{grounds})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (ADJP (ADJ imperial;{imperial}))
                                              (N palace;{palace})
                                              (PP (P-ROLE in;{in})
                                                  (NP (NPR Tokyo;{Tokyo}))))))
                              (BED;_La_ were;{be})
                              (ADJP-PRD (ADJ worth;{worth}))
                              (PP-NIM (NP (D the;{the})
                                          (ADJP (ADJ same;{same})))
                                      (P-ROLE as;{as})
                                      (NP (D all;{all})
                                          (PP (P-ROLE of;{of})
                                              (NP (NPR California;{California})))))))
          (PUNC .))
  (ID 27_a_stuck_japan))