112_a_loosechange
‘Which hotel is it?’
( (CP-QUE-MAT (PULQ <lquo>)
(IP-SUB (NP-PRD (WD Which;{which})
(N hotel;{hotel}))
(BEP;_Ln_ is;{be})
(NP-SBJ;{SLEEPING_PLACE} (PRO it;{it})))
(PUNC ?)
(PURQ <rquo>))
(ID 112_a_loosechange))
arc(r_0112_0004__is,r_0112_0002__Which_r_0112_0003__hotel,prd).
arc(r_0112_0004__is,r_0112_0005__it,arg0).
fof(formula,axiom,
? [R_0112_0002__WHICH_R_0112_0003__HOTEL,R_0112_0005__IT,R_0112_0004__IS] :
( r_0112_0002__Which_r_0112_0003__hotel(R_0112_0002__WHICH_R_0112_0003__HOTEL)
& r_0112_0005__it(R_0112_0005__IT)
& r_0112_0004__is(R_0112_0004__IS)
& has_arg0(R_0112_0004__IS,R_0112_0005__IT)
& has_prd(R_0112_0004__IS,R_0112_0002__WHICH_R_0112_0003__HOTEL) ) ).