92_a_stuck_japan
The men looked at each other in silent embarrassment.
( (IP-MAT (NP-SBJ (D The;{the})
(NS men;{man}))
(VBD;__ looked;{look})
(PP-NIM (P-ROLE at;{at})
(NP (PNX each_other;{each_other})))
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ silent;{silent}))
(N embarrassment;{embarrassment})))
(PUNC .))
(ID 92_a_stuck_japan))
arc(r_0092_0003__looked,r_0092_0001__The_r_0092_0002__men,arg0).
arc(r_0092_0003__looked,r_0092_0005__each_other,r_0092_0004__at__nim).
arc(r_0092_0003__looked,r_0092_0008__embarrassment,r_0092_0006__in__nim).
arc(r_0092_0008__embarrassment,r_0092_0007__silent,attrib).
fof(formula,axiom,
? [R_0092_0001__THE_R_0092_0002__MEN,R_0092_0005__EACH_OTHER,R_0092_0007__SILENT,R_0092_0008__EMBARRASSMENT,R_0092_0003__LOOKED] :
( r_0092_0001__The_r_0092_0002__men(R_0092_0001__THE_R_0092_0002__MEN)
& r_0092_0005__each_other(R_0092_0005__EACH_OTHER)
& r_0092_0007__silent(R_0092_0007__SILENT)
& r_0092_0003__looked(R_0092_0003__LOOKED)
& has_r_0092_0006__in__nim(R_0092_0003__LOOKED,R_0092_0008__EMBARRASSMENT)
& r_0092_0008__embarrassment(R_0092_0008__EMBARRASSMENT)
& has_attrib(R_0092_0008__EMBARRASSMENT,R_0092_0007__SILENT)
& has_r_0092_0004__at__nim(R_0092_0003__LOOKED,R_0092_0005__EACH_OTHER)
& has_arg0(R_0092_0003__LOOKED,R_0092_0001__THE_R_0092_0002__MEN) ) ).