60_a_stuck_japan
“It's punishment, right?”
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (PRO It;{it}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD (N punishment;{punishment}))
(PUNC ,)
(REACT right)
(PUNC ?)
(PURQ <rdquo>))
(ID 60_a_stuck_japan))
arc(r_0060_0003___apos_s,r_0060_0002__It,arg0).
arc(r_0060_0003___apos_s,r_0060_0004__punishment,prd).
fof(formula,axiom,
? [R_0060_0002__IT,R_0060_0004__PUNISHMENT,R_0060_0003___APOS_S] :
( r_0060_0002__It(R_0060_0002__IT)
& r_0060_0004__punishment(R_0060_0004__PUNISHMENT)
& r_0060_0003___apos_s(R_0060_0003___APOS_S)
& has_prd(R_0060_0003___APOS_S,R_0060_0004__PUNISHMENT)
& has_arg0(R_0060_0003___APOS_S,R_0060_0002__IT) ) ).