83_a_loosechange
‘How long are you here for?’
arc(r_0083_0003__long, r_0083_0002__How, qual6).
arc(r_0083_0004__are, r_0083_0003__long, r_0083_0007__for_nim22).
arc(r_0083_0004__are, r_0083_0005__you, arg0).
arc(r_0083_0004__are, r_0083_0006__here, clr16).
fof(formula,axiom,
? [R_0083_0002__HOW,R_0083_0003__LONG,R_0083_0005__YOU,R_0083_0006__HERE,R_0083_0004__ARE] :
( r_0083_0002__How(R_0083_0002__HOW)
& r_0083_0005__you(R_0083_0005__YOU)
& r_0083_0006__here(R_0083_0006__HERE)
& r_0083_0004__are(R_0083_0004__ARE)
& has_clr16(R_0083_0004__ARE,R_0083_0006__HERE)
& has_arg0(R_0083_0004__ARE,R_0083_0005__YOU)
& has_r_0083_0007__for_nim22(R_0083_0004__ARE,R_0083_0003__LONG)
& r_0083_0003__long(R_0083_0003__LONG)
& has_qual6(R_0083_0003__LONG,R_0083_0002__HOW) ) ).
( (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))