80_a_stuck_japan
The old men gathered in the hall were concerned.
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ old;{old}))
(NS men;{man})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ gathered;{gather})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N hall;{hall})))))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ concerned;{concern}))
(PUNC .))
(ID 80_a_stuck_japan))
arc(r_0080_0001__The_r_0080_0003__men,r_0080_0002__old,attrib).
arc(r_0080_0004__gathered,r_0080_0001__The_r_0080_0003__men,inv_arg1).
arc(r_0080_0004__gathered,r_0080_0006__the_r_0080_0007__hall,r_0080_0005__in__nim).
arc(r_0080_0004__gathered,z_0080_5004___star_,arg0).
arc(r_0080_0008__were,r_0080_0009__concerned,scope).
arc(r_0080_0009__concerned,r_0080_0001__The_r_0080_0003__men,arg1).
arc(r_0080_0009__concerned,z_0080_5007___star_,arg0).
fof(formula,axiom,
? [R_0080_0002__OLD,R_0080_0006__THE_R_0080_0007__HALL,Z_0080_5004___STAR_,R_0080_0004__GATHERED,R_0080_0001__THE_R_0080_0003__MEN,Z_0080_5007___STAR_,R_0080_0008__WERE_R_0080_0009__CONCERNED] :
( r_0080_0002__old(R_0080_0002__OLD)
& r_0080_0006__the_r_0080_0007__hall(R_0080_0006__THE_R_0080_0007__HALL)
& z_0080_5004___star_(Z_0080_5004___STAR_)
& z_0080_5007___star_(Z_0080_5007___STAR_)
& r_0080_0008__were_r_0080_0009__concerned(R_0080_0008__WERE_R_0080_0009__CONCERNED)
& has_arg0(R_0080_0008__WERE_R_0080_0009__CONCERNED,Z_0080_5007___STAR_)
& has_arg1(R_0080_0008__WERE_R_0080_0009__CONCERNED,R_0080_0001__THE_R_0080_0003__MEN)
& r_0080_0001__The_r_0080_0003__men(R_0080_0001__THE_R_0080_0003__MEN)
& has_inv_arg1(R_0080_0001__THE_R_0080_0003__MEN,R_0080_0004__GATHERED)
& r_0080_0004__gathered(R_0080_0004__GATHERED)
& has_arg0(R_0080_0004__GATHERED,Z_0080_5004___STAR_)
& has_r_0080_0005__in__nim(R_0080_0004__GATHERED,R_0080_0006__THE_R_0080_0007__HALL)
& has_attrib(R_0080_0001__THE_R_0080_0003__MEN,R_0080_0002__OLD) ) ).