TSPC 27_a_stuck

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.

( (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))

arc(r_0027_0007__was,r_0027_0002__the_r_0027_0003__mid_hyphen_1980s,r_0027_0001__By__nim).
arc(r_0027_0007__was,r_0027_0005__the_r_0027_0006__joke,arg0).
arc(r_0027_0007__was,r_0027_0017__were,prd).
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,attrib).
arc(r_0027_0012__the_r_0027_0014__palace,r_0027_0016__Tokyo,r_0027_0015__in).
arc(r_0027_0017__were,r_0027_0009__the_r_0027_0010__grounds,arg0).
arc(r_0027_0017__were,r_0027_0018__worth,prd).
arc(r_0027_0017__were,r_0027_0022__all,r_0027_0021__as__nim).
arc(r_0027_0022__all,r_0027_0024__California,r_0027_0023__of).

fof(formula,axiom,
    ? [R_0027_0002__THE_R_0027_0003__MID_HYPHEN_1980S,R_0027_0005__THE_R_0027_0006__JOKE,R_0027_0013__IMPERIAL,R_0027_0016__TOKYO,R_0027_0012__THE_R_0027_0014__PALACE,R_0027_0009__THE_R_0027_0010__GROUNDS,R_0027_0018__WORTH,R_0027_0024__CALIFORNIA,R_0027_0022__ALL,R_0027_0017__WERE,R_0027_0007__WAS] :
      ( r_0027_0002__the_r_0027_0003__mid_hyphen_1980s(R_0027_0002__THE_R_0027_0003__MID_HYPHEN_1980S)
      & r_0027_0005__the_r_0027_0006__joke(R_0027_0005__THE_R_0027_0006__JOKE)
      & r_0027_0013__imperial(R_0027_0013__IMPERIAL)
      & r_0027_0016__Tokyo(R_0027_0016__TOKYO)
      & r_0027_0018__worth(R_0027_0018__WORTH)
      & r_0027_0024__California(R_0027_0024__CALIFORNIA)
      & r_0027_0007__was(R_0027_0007__WAS)
      & has_prd(R_0027_0007__WAS,R_0027_0017__WERE)
      & r_0027_0017__were(R_0027_0017__WERE)
      & has_r_0027_0021__as__nim(R_0027_0017__WERE,R_0027_0022__ALL)
      & r_0027_0022__all(R_0027_0022__ALL)
      & has_r_0027_0023__of(R_0027_0022__ALL,R_0027_0024__CALIFORNIA)
      & has_prd(R_0027_0017__WERE,R_0027_0018__WORTH)
      & has_arg0(R_0027_0017__WERE,R_0027_0009__THE_R_0027_0010__GROUNDS)
      & r_0027_0009__the_r_0027_0010__grounds(R_0027_0009__THE_R_0027_0010__GROUNDS)
      & has_r_0027_0011__of(R_0027_0009__THE_R_0027_0010__GROUNDS,R_0027_0012__THE_R_0027_0014__PALACE)
      & r_0027_0012__the_r_0027_0014__palace(R_0027_0012__THE_R_0027_0014__PALACE)
      & has_r_0027_0015__in(R_0027_0012__THE_R_0027_0014__PALACE,R_0027_0016__TOKYO)
      & has_attrib(R_0027_0012__THE_R_0027_0014__PALACE,R_0027_0013__IMPERIAL)
      & has_arg0(R_0027_0007__WAS,R_0027_0005__THE_R_0027_0006__JOKE)
      & has_r_0027_0001__By__nim(R_0027_0007__WAS,R_0027_0002__THE_R_0027_0003__MID_HYPHEN_1980S) ) ).