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_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
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_4 By n27_a_stuck_japan_7 the n27_a_stuck_japan_9 mid-1980s n27_a_stuck_japan_11 , n27_a_stuck_japan_14 the n27_a_stuck_japan_16 joke n27_a_stuck_japan_18 was n27_a_stuck_japan_22 that n27_a_stuck_japan_25 the n27_a_stuck_japan_27 grounds n27_a_stuck_japan_30 of n27_a_stuck_japan_33 the n27_a_stuck_japan_36 imperial n27_a_stuck_japan_38 palace n27_a_stuck_japan_41 in n27_a_stuck_japan_44 Tokyo n27_a_stuck_japan_46 were n27_a_stuck_japan_49 worth n27_a_stuck_japan_53 the n27_a_stuck_japan_56 same n27_a_stuck_japan_58 as n27_a_stuck_japan_61 all n27_a_stuck_japan_64 of n27_a_stuck_japan_67 California n27_a_stuck_japan_69 . n27_a_stuck_japan_1 IP-MAT n27_a_stuck_japan_2 PP-NIM n27_a_stuck_japan_1->n27_a_stuck_japan_2 n27_a_stuck_japan_10 PUNC n27_a_stuck_japan_1->n27_a_stuck_japan_10 n27_a_stuck_japan_12 NP-SBJ n27_a_stuck_japan_1->n27_a_stuck_japan_12 n27_a_stuck_japan_17 BED;_equ_Vf_ n27_a_stuck_japan_1->n27_a_stuck_japan_17 n27_a_stuck_japan_19 CP-THT-PRD n27_a_stuck_japan_1->n27_a_stuck_japan_19 n27_a_stuck_japan_68 PUNC n27_a_stuck_japan_1->n27_a_stuck_japan_68 n27_a_stuck_japan_3 P-ROLE n27_a_stuck_japan_2->n27_a_stuck_japan_3 n27_a_stuck_japan_5 NP n27_a_stuck_japan_2->n27_a_stuck_japan_5 n27_a_stuck_japan_3->n27_a_stuck_japan_4 n27_a_stuck_japan_6 D n27_a_stuck_japan_5->n27_a_stuck_japan_6 n27_a_stuck_japan_8 NS n27_a_stuck_japan_5->n27_a_stuck_japan_8 n27_a_stuck_japan_6->n27_a_stuck_japan_7 n27_a_stuck_japan_8->n27_a_stuck_japan_9 n27_a_stuck_japan_10->n27_a_stuck_japan_11 n27_a_stuck_japan_13 D n27_a_stuck_japan_12->n27_a_stuck_japan_13 n27_a_stuck_japan_15 N n27_a_stuck_japan_12->n27_a_stuck_japan_15 n27_a_stuck_japan_13->n27_a_stuck_japan_14 n27_a_stuck_japan_15->n27_a_stuck_japan_16 n27_a_stuck_japan_17->n27_a_stuck_japan_18 n27_a_stuck_japan_20 IP-SUB n27_a_stuck_japan_19->n27_a_stuck_japan_20 n27_a_stuck_japan_21 C n27_a_stuck_japan_20->n27_a_stuck_japan_21 n27_a_stuck_japan_23 NP-SBJ n27_a_stuck_japan_20->n27_a_stuck_japan_23 n27_a_stuck_japan_45 BED;_La_ n27_a_stuck_japan_20->n27_a_stuck_japan_45 n27_a_stuck_japan_47 ADJP-PRD n27_a_stuck_japan_20->n27_a_stuck_japan_47 n27_a_stuck_japan_50 PP-NIM n27_a_stuck_japan_20->n27_a_stuck_japan_50 n27_a_stuck_japan_21->n27_a_stuck_japan_22 n27_a_stuck_japan_24 D n27_a_stuck_japan_23->n27_a_stuck_japan_24 n27_a_stuck_japan_26 NS n27_a_stuck_japan_23->n27_a_stuck_japan_26 n27_a_stuck_japan_28 PP n27_a_stuck_japan_23->n27_a_stuck_japan_28 n27_a_stuck_japan_24->n27_a_stuck_japan_25 n27_a_stuck_japan_26->n27_a_stuck_japan_27 n27_a_stuck_japan_29 P-ROLE n27_a_stuck_japan_28->n27_a_stuck_japan_29 n27_a_stuck_japan_31 NP n27_a_stuck_japan_28->n27_a_stuck_japan_31 n27_a_stuck_japan_29->n27_a_stuck_japan_30 n27_a_stuck_japan_32 D n27_a_stuck_japan_31->n27_a_stuck_japan_32 n27_a_stuck_japan_34 ADJP n27_a_stuck_japan_31->n27_a_stuck_japan_34 n27_a_stuck_japan_37 N n27_a_stuck_japan_31->n27_a_stuck_japan_37 n27_a_stuck_japan_39 PP n27_a_stuck_japan_31->n27_a_stuck_japan_39 n27_a_stuck_japan_32->n27_a_stuck_japan_33 n27_a_stuck_japan_35 ADJ n27_a_stuck_japan_34->n27_a_stuck_japan_35 n27_a_stuck_japan_35->n27_a_stuck_japan_36 n27_a_stuck_japan_37->n27_a_stuck_japan_38 n27_a_stuck_japan_40 P-ROLE n27_a_stuck_japan_39->n27_a_stuck_japan_40 n27_a_stuck_japan_42 NP n27_a_stuck_japan_39->n27_a_stuck_japan_42 n27_a_stuck_japan_40->n27_a_stuck_japan_41 n27_a_stuck_japan_43 NPR n27_a_stuck_japan_42->n27_a_stuck_japan_43 n27_a_stuck_japan_43->n27_a_stuck_japan_44 n27_a_stuck_japan_45->n27_a_stuck_japan_46 n27_a_stuck_japan_48 ADJ n27_a_stuck_japan_47->n27_a_stuck_japan_48 n27_a_stuck_japan_48->n27_a_stuck_japan_49 n27_a_stuck_japan_51 NP n27_a_stuck_japan_50->n27_a_stuck_japan_51 n27_a_stuck_japan_57 P-ROLE n27_a_stuck_japan_50->n27_a_stuck_japan_57 n27_a_stuck_japan_59 NP n27_a_stuck_japan_50->n27_a_stuck_japan_59 n27_a_stuck_japan_52 D n27_a_stuck_japan_51->n27_a_stuck_japan_52 n27_a_stuck_japan_54 ADJP n27_a_stuck_japan_51->n27_a_stuck_japan_54 n27_a_stuck_japan_52->n27_a_stuck_japan_53 n27_a_stuck_japan_55 ADJ n27_a_stuck_japan_54->n27_a_stuck_japan_55 n27_a_stuck_japan_55->n27_a_stuck_japan_56 n27_a_stuck_japan_57->n27_a_stuck_japan_58 n27_a_stuck_japan_60 D n27_a_stuck_japan_59->n27_a_stuck_japan_60 n27_a_stuck_japan_62 PP n27_a_stuck_japan_59->n27_a_stuck_japan_62 n27_a_stuck_japan_60->n27_a_stuck_japan_61 n27_a_stuck_japan_63 P-ROLE n27_a_stuck_japan_62->n27_a_stuck_japan_63 n27_a_stuck_japan_65 NP n27_a_stuck_japan_62->n27_a_stuck_japan_65 n27_a_stuck_japan_63->n27_a_stuck_japan_64 n27_a_stuck_japan_66 NPR n27_a_stuck_japan_65->n27_a_stuck_japan_66 n27_a_stuck_japan_66->n27_a_stuck_japan_67 n27_a_stuck_japan_68->n27_a_stuck_japan_69
( (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))