60_a_stuck_japan
“It's punishment, right?”
arc(r_0060_0003___apos_s_r_0060_0006__right, r_0060_0002__It, arg0).
arc(r_0060_0003___apos_s_r_0060_0006__right, r_0060_0004__punishment, prd).
fof(formula,axiom,
? [R_0060_0002__IT,R_0060_0004__PUNISHMENT,R_0060_0003___APOS_S_R_0060_0006__RIGHT] :
( r_0060_0002__It(R_0060_0002__IT)
& r_0060_0004__punishment(R_0060_0004__PUNISHMENT)
& r_0060_0003___apos_s_r_0060_0006__right(R_0060_0003___APOS_S_R_0060_0006__RIGHT)
& has_prd(R_0060_0003___APOS_S_R_0060_0006__RIGHT,R_0060_0004__PUNISHMENT)
& has_arg0(R_0060_0003___APOS_S_R_0060_0006__RIGHT,R_0060_0002__IT) ) ).
( (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))