I meant to say:

abc[@x="3"]/def[@y="2"]

i.e. a filter on multiple levels