( (IP-MAT (PP-SCON (NP (D A;{a})
                       (NLYR (NLYR (NUM hundred;{hundred}))
                             (CONJP (CONJ and;{and})
                                    (NLYR (NUM fifty;{fifty}))))
                       (NS years;{year}))
                   (P-CONN after;{after})
                   (IP-ADV (NP-SBJ (PRO it;{it}))
                           (BED;_cat_VePASS_ was;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Cn.t_ forced;{force})
                                       (IP-INF-PRD (TO to;{to})
                                                   (VB;_Tn_ open;{open})
                                                   (NP-OB1 (NP-GEN (PRO its;{its}))
                                                           (NS doors;{door}))))))
          (PUNC ,)
          (NP-SBJ (NPR Japan;{Japan}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV still;{still}))
          (ADJP-PRD (AJLYR (ADJP (ADJ sceptical;{sceptical}))
                           (PUNC ,)
                           (ADJP (ADVP (ADV even;{even}))
                                 (ADJ fearful;{fearful})))
                    (PP (P-ROLE of;{of})
                        (NP (D the;{the})
                            (ADJP (ADJ outside;{outside}))
                            (N world;{world}))))
          (PUNC .))
  (ID 76_a_stuck_japan))

arc(r_0076_0006__after,r_0076_0008__was,restriction).
arc(r_0076_0006__after,r_0076_0016__is,scope).
arc(r_0076_0008__was,r_0076_0009__forced,scope).
arc(r_0076_0009__forced,r_0076_0007__it,arg1).
arc(r_0076_0009__forced,r_0076_0011__open,prd).
arc(r_0076_0009__forced,z_0076_5008___star_,arg0).
arc(r_0076_0011__open,r_0076_0013__doors,arg1).
arc(r_0076_0011__open,z_0076_5005,arg0).
arc(r_0076_0013__doors,r_0076_0012__its,gen).
arc(r_0076_0016__is,r_0076_0015__Japan,arg0).
arc(r_0076_0016__is,r_0076_0017__still,nim).
arc(r_0076_0016__is,z_0076_5014,prd).
arc(r_0076_0023__the_r_0076_0025__world,r_0076_0024__outside,attrib).
arc(z_0076_5014,r_0076_0023__the_r_0076_0025__world,r_0076_0022__of).

fof(formula,axiom,
    ? [R_0076_0007__IT,R_0076_0012__ITS,R_0076_0013__DOORS,Z_0076_5005,R_0076_0011__OPEN,Z_0076_5008___STAR_,R_0076_0008__WAS_R_0076_0009__FORCED,R_0076_0015__JAPAN,R_0076_0017__STILL,R_0076_0024__OUTSIDE,R_0076_0023__THE_R_0076_0025__WORLD,Z_0076_5014,R_0076_0016__IS,R_0076_0006__AFTER] :
      ( r_0076_0007__it(R_0076_0007__IT)
      & r_0076_0012__its(R_0076_0012__ITS)
      & r_0076_0015__Japan(R_0076_0015__JAPAN)
      & r_0076_0017__still(R_0076_0017__STILL)
      & r_0076_0024__outside(R_0076_0024__OUTSIDE)
      & z_0076_5005(Z_0076_5005)
      & z_0076_5008___star_(Z_0076_5008___STAR_)
      & r_0076_0006__after(R_0076_0006__AFTER)
      & has_conj2(R_0076_0006__AFTER,R_0076_0016__IS)
      & r_0076_0016__is(R_0076_0016__IS)
      & has_prd(R_0076_0016__IS,Z_0076_5014)
      & z_0076_5014(Z_0076_5014)
      & has_r_0076_0022__of(Z_0076_5014,R_0076_0023__THE_R_0076_0025__WORLD)
      & r_0076_0023__the_r_0076_0025__world(R_0076_0023__THE_R_0076_0025__WORLD)
      & has_attrib(R_0076_0023__THE_R_0076_0025__WORLD,R_0076_0024__OUTSIDE)
      & has_nim(R_0076_0016__IS,R_0076_0017__STILL)
      & has_arg0(R_0076_0016__IS,R_0076_0015__JAPAN)
      & has_conj1(R_0076_0006__AFTER,R_0076_0008__WAS_R_0076_0009__FORCED)
      & r_0076_0008__was_r_0076_0009__forced(R_0076_0008__WAS_R_0076_0009__FORCED)
      & has_arg0(R_0076_0008__WAS_R_0076_0009__FORCED,Z_0076_5008___STAR_)
      & has_prd(R_0076_0008__WAS_R_0076_0009__FORCED,R_0076_0011__OPEN)
      & r_0076_0011__open(R_0076_0011__OPEN)
      & has_arg0(R_0076_0011__OPEN,Z_0076_5005)
      & has_arg1(R_0076_0011__OPEN,R_0076_0013__DOORS)
      & r_0076_0013__doors(R_0076_0013__DOORS)
      & has_gen(R_0076_0013__DOORS,R_0076_0012__ITS)
      & has_arg1(R_0076_0008__WAS_R_0076_0009__FORCED,R_0076_0007__IT) ) ).