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_0005__is is r_0157_0006__Tower_r_0157_0007__Bridge Tower Bridge r_0157_0005__is->r_0157_0006__Tower_r_0157_0007__Bridge [arg0] r_0157_0004__where where r_0157_0005__is->r_0157_0004__where [clr] r_0157_0003__know know r_0157_0003__know->r_0157_0005__is [arg1] r_0157_0002__You You r_0157_0003__know->r_0157_0002__You [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__1_1_1 <lquo> n157_a_loosechange__1_2_1_1_1 You n157_a_loosechange__1_2_2_1 know n157_a_loosechange__1_2_3_1_1_1_1 where n157_a_loosechange__1_2_3_1_2_1 is n157_a_loosechange__1_2_3_1_3_1_1 Tower n157_a_loosechange__1_2_3_1_3_2_1 Bridge n157_a_loosechange__1_3_1 ? n157_a_loosechange__1_4_1 <rquo> n157_a_loosechange__1 CP-QUE-MAT n157_a_loosechange__1_1 PULQ n157_a_loosechange__1->n157_a_loosechange__1_1 n157_a_loosechange__1_2 IP-SUB n157_a_loosechange__1->n157_a_loosechange__1_2 n157_a_loosechange__1_3 PUNC n157_a_loosechange__1->n157_a_loosechange__1_3 n157_a_loosechange__1_4 PURQ n157_a_loosechange__1->n157_a_loosechange__1_4 n157_a_loosechange__1_1->n157_a_loosechange__1_1_1 n157_a_loosechange__1_2_1 NP-SBJ n157_a_loosechange__1_2->n157_a_loosechange__1_2_1 n157_a_loosechange__1_2_2 VBP;_Tw_ n157_a_loosechange__1_2->n157_a_loosechange__1_2_2 n157_a_loosechange__1_2_3 CP-QUE-OB1 n157_a_loosechange__1_2->n157_a_loosechange__1_2_3 n157_a_loosechange__1_2_1_1 PRO n157_a_loosechange__1_2_1->n157_a_loosechange__1_2_1_1 n157_a_loosechange__1_2_1_1->n157_a_loosechange__1_2_1_1_1 n157_a_loosechange__1_2_2->n157_a_loosechange__1_2_2_1 n157_a_loosechange__1_2_3_1 IP-SUB n157_a_loosechange__1_2_3->n157_a_loosechange__1_2_3_1 n157_a_loosechange__1_2_3_1_1 ADVP-CLR n157_a_loosechange__1_2_3_1->n157_a_loosechange__1_2_3_1_1 n157_a_loosechange__1_2_3_1_2 BEP;_Ip_ n157_a_loosechange__1_2_3_1->n157_a_loosechange__1_2_3_1_2 n157_a_loosechange__1_2_3_1_3 NP-SBJ n157_a_loosechange__1_2_3_1->n157_a_loosechange__1_2_3_1_3 n157_a_loosechange__1_2_3_1_1_1 WADV n157_a_loosechange__1_2_3_1_1->n157_a_loosechange__1_2_3_1_1_1 n157_a_loosechange__1_2_3_1_1_1->n157_a_loosechange__1_2_3_1_1_1_1 n157_a_loosechange__1_2_3_1_2->n157_a_loosechange__1_2_3_1_2_1 n157_a_loosechange__1_2_3_1_3_1 NPR n157_a_loosechange__1_2_3_1_3->n157_a_loosechange__1_2_3_1_3_1 n157_a_loosechange__1_2_3_1_3_2 NPR n157_a_loosechange__1_2_3_1_3->n157_a_loosechange__1_2_3_1_3_2 n157_a_loosechange__1_2_3_1_3_1->n157_a_loosechange__1_2_3_1_3_1_1 n157_a_loosechange__1_2_3_1_3_2->n157_a_loosechange__1_2_3_1_3_2_1 n157_a_loosechange__1_3->n157_a_loosechange__1_3_1 n157_a_loosechange__1_4->n157_a_loosechange__1_4_1 
( (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))