( (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))

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,clr).
arc(r_0157_0005__is,r_0157_0006__Tower_r_0157_0007__Bridge,arg0).

fof(formula,axiom,
    ? [R_0157_0002__YOU,R_0157_0004__WHERE,R_0157_0006__TOWER_R_0157_0007__BRIDGE,R_0157_0005__IS,R_0157_0003__KNOW] :
      ( r_0157_0002__You(R_0157_0002__YOU)
      & r_0157_0004__where(R_0157_0004__WHERE)
      & r_0157_0006__Tower_r_0157_0007__Bridge(R_0157_0006__TOWER_R_0157_0007__BRIDGE)
      & r_0157_0003__know(R_0157_0003__KNOW)
      & has_arg1(R_0157_0003__KNOW,R_0157_0005__IS)
      & r_0157_0005__is(R_0157_0005__IS)
      & has_arg0(R_0157_0005__IS,R_0157_0006__TOWER_R_0157_0007__BRIDGE)
      & has_clr(R_0157_0005__IS,R_0157_0004__WHERE)
      & has_arg0(R_0157_0003__KNOW,R_0157_0002__YOU) ) ).