83_a_loosechange
‘How long are you here for?’
( (CP-QUE-MAT (PULQ <lquo>)
(IP-SUB (ADJP-132 (ADVP (WADV How;{how}))
(ADJ long;{long}))
(BEP;_Ip_ are;{be})
(NP-SBJ (PRO you;{you}))
(ADVP-CLR (ADV here;{here}))
(PP-NIM (P-ROLE for;{for})
(ADVP *ICH*-132)))
(PUNC ?)
(PURQ <rquo>))
(ID 83_a_loosechange))
arc(r_0083_0003__long,r_0083_0002__How,qual).
arc(r_0083_0004__are_r_0083_0006__here,r_0083_0003__long,r_0083_0007__for__nim).
arc(r_0083_0004__are_r_0083_0006__here,r_0083_0005__you,arg0).
fof(formula,axiom,
? [R_0083_0002__HOW,R_0083_0003__LONG,R_0083_0005__YOU,R_0083_0004__ARE_R_0083_0006__HERE] :
( r_0083_0002__How(R_0083_0002__HOW)
& r_0083_0005__you(R_0083_0005__YOU)
& r_0083_0004__are_r_0083_0006__here(R_0083_0004__ARE_R_0083_0006__HERE)
& has_arg0(R_0083_0004__ARE_R_0083_0006__HERE,R_0083_0005__YOU)
& has_r_0083_0007__for__nim(R_0083_0004__ARE_R_0083_0006__HERE,R_0083_0003__LONG)
& r_0083_0003__long(R_0083_0003__LONG)
& has_qual(R_0083_0003__LONG,R_0083_0002__HOW) ) ).