Context                Previous, Next                Top


157_a_loosechange
‘You know where is Tower Bridge?’

%3 r_0157_0003__know know r_0157_0002__You You r_0157_0003__know->r_0157_0002__You [arg0] r_0157_0005__is is r_0157_0003__know->r_0157_0005__is [arg1] r_0157_0004__where where r_0157_0005__is->r_0157_0004__where [clr] r_0157_0006__Tower_r_0157_0007__Bridge Tower Bridge r_0157_0005__is->r_0157_0006__Tower_r_0157_0007__Bridge [arg0] 
arc(r_0157_0003__know, r_0157_0002__You, arg0).
arc(r_0157_0003__know, r_0157_0005__is, arg1).
arc(r_0157_0005__is, r_0157_0004__where, clr12).
arc(r_0157_0005__is, r_0157_0006__Tower_r_0157_0007__Bridge, arg0).


%3 r_0157_0003__know know r_0157_0002__You You r_0157_0003__know->r_0157_0002__You [arg0] r_0157_0005__is is r_0157_0003__know->r_0157_0005__is [arg1] r_0157_0004__where where r_0157_0005__is->r_0157_0004__where [clr] r_0157_0006__Tower_r_0157_0007__Bridge Tower Bridge r_0157_0005__is->r_0157_0006__Tower_r_0157_0007__Bridge [arg0] 
fof(formula,axiom,
    ? [R_157_3_KNOW,R_157_2_YOU,R_157_5_IS,R_157_6_TOWER_BRIDGE,R_157_4_WHERE] :
      ( you(R_157_2_YOU)
      & tower_Bridge(R_157_6_TOWER_BRIDGE)
      & where(R_157_4_WHERE)
      & know(R_157_3_KNOW,R_157_2_YOU,R_157_5_IS)
      & is(R_157_5_IS,R_157_6_TOWER_BRIDGE)
      & clr12(R_157_5_IS,R_157_4_WHERE) ) ).


n157_a_loosechange n157_a_loosechange_3 <lquo> n157_a_loosechange_7 You n157_a_loosechange_9 know n157_a_loosechange_14 where n157_a_loosechange_16 is n157_a_loosechange_19 Tower n157_a_loosechange_21 Bridge n157_a_loosechange_23 ? n157_a_loosechange_25 <rquo> n157_a_loosechange_1 CP-QUE-MAT n157_a_loosechange_2 PULQ n157_a_loosechange_1->n157_a_loosechange_2 n157_a_loosechange_4 IP-SUB n157_a_loosechange_1->n157_a_loosechange_4 n157_a_loosechange_22 PUNC n157_a_loosechange_1->n157_a_loosechange_22 n157_a_loosechange_24 PURQ n157_a_loosechange_1->n157_a_loosechange_24 n157_a_loosechange_2->n157_a_loosechange_3 n157_a_loosechange_5 NP-SBJ n157_a_loosechange_4->n157_a_loosechange_5 n157_a_loosechange_8 VBP;_Tw_ n157_a_loosechange_4->n157_a_loosechange_8 n157_a_loosechange_10 CP-QUE-OB1 n157_a_loosechange_4->n157_a_loosechange_10 n157_a_loosechange_6 PRO n157_a_loosechange_5->n157_a_loosechange_6 n157_a_loosechange_6->n157_a_loosechange_7 n157_a_loosechange_8->n157_a_loosechange_9 n157_a_loosechange_11 IP-SUB n157_a_loosechange_10->n157_a_loosechange_11 n157_a_loosechange_12 ADVP-CLR n157_a_loosechange_11->n157_a_loosechange_12 n157_a_loosechange_15 BEP;_Ip_ n157_a_loosechange_11->n157_a_loosechange_15 n157_a_loosechange_17 NP-SBJ n157_a_loosechange_11->n157_a_loosechange_17 n157_a_loosechange_13 WADV n157_a_loosechange_12->n157_a_loosechange_13 n157_a_loosechange_13->n157_a_loosechange_14 n157_a_loosechange_15->n157_a_loosechange_16 n157_a_loosechange_18 NPR n157_a_loosechange_17->n157_a_loosechange_18 n157_a_loosechange_20 NPR n157_a_loosechange_17->n157_a_loosechange_20 n157_a_loosechange_18->n157_a_loosechange_19 n157_a_loosechange_20->n157_a_loosechange_21 n157_a_loosechange_22->n157_a_loosechange_23 n157_a_loosechange_24->n157_a_loosechange_25 
( (CP-QUE-MAT (PULQ <lquo>)
              (IP-SUB (NP-SBJ (PRO You;{you}))
                      (VBP;_Tw_ know;{know})
                      (CP-QUE-OB1 (IP-SUB (ADVP-CLR (WADV where;{where}))
                                          (BEP;_Ip_ is;{be})
                                          (NP-SBJ (NPR Tower;{Tower})
                                                  (NPR Bridge;{Bridge})))))
              (PUNC ?)
              (PURQ <rquo>))
  (ID 157_a_loosechange))