Context                Previous, Next                Top


75_a_loosechange
‘Where is that?’

%3 r_0075_0003__is is r_0075_0002__Where Where r_0075_0003__is->r_0075_0002__Where [clr] r_0075_0004__that that r_0075_0003__is->r_0075_0004__that [arg0] 
arc(r_0075_0003__is, r_0075_0002__Where, clr5).
arc(r_0075_0003__is, r_0075_0004__that, arg0).


%3 r_0075_0003__is is r_0075_0002__Where Where r_0075_0003__is->r_0075_0002__Where [clr] r_0075_0004__that that r_0075_0003__is->r_0075_0004__that [arg0] 
fof(formula,axiom,
    ? [R_75_3_IS,R_75_4_THAT,R_75_2_WHERE] :
      ( that(R_75_4_THAT)
      & where(R_75_2_WHERE)
      & is(R_75_3_IS,R_75_4_THAT)
      & clr5(R_75_3_IS,R_75_2_WHERE) ) ).


n75_a_loosechange n75_a_loosechange_3 <lquo> n75_a_loosechange_7 Where n75_a_loosechange_9 is n75_a_loosechange_12 that n75_a_loosechange_14 ? n75_a_loosechange_16 <rquo> n75_a_loosechange_1 CP-QUE-MAT n75_a_loosechange_2 PULQ n75_a_loosechange_1->n75_a_loosechange_2 n75_a_loosechange_4 IP-SUB n75_a_loosechange_1->n75_a_loosechange_4 n75_a_loosechange_13 PUNC n75_a_loosechange_1->n75_a_loosechange_13 n75_a_loosechange_15 PURQ n75_a_loosechange_1->n75_a_loosechange_15 n75_a_loosechange_2->n75_a_loosechange_3 n75_a_loosechange_5 ADVP-CLR n75_a_loosechange_4->n75_a_loosechange_5 n75_a_loosechange_8 BEP;_Ip_ n75_a_loosechange_4->n75_a_loosechange_8 n75_a_loosechange_10 NP-SBJ n75_a_loosechange_4->n75_a_loosechange_10 n75_a_loosechange_6 WADV n75_a_loosechange_5->n75_a_loosechange_6 n75_a_loosechange_6->n75_a_loosechange_7 n75_a_loosechange_8->n75_a_loosechange_9 n75_a_loosechange_11 P-ROLE n75_a_loosechange_10->n75_a_loosechange_11 n75_a_loosechange_11->n75_a_loosechange_12 n75_a_loosechange_13->n75_a_loosechange_14 n75_a_loosechange_15->n75_a_loosechange_16 
( (CP-QUE-MAT (PULQ <lquo>)
              (IP-SUB (ADVP-CLR (WADV Where;{where}))
                      (BEP;_Ip_ is;{be})
                      (NP-SBJ (P-ROLE that;{that})))
              (PUNC ?)
              (PURQ <rquo>))
  (ID 75_a_loosechange))