Let's get nodes:

NodeIterator it = result.getNodes();


if(it.hasNext())

{

   Node findedNode = it.nextNode();

}

NodeIterator will return expected document1. This is a purpose of synonim providers. Find by specified word, but return by all synonims to.