http://www.mizar.dk/XPath/Default.aspx




/WN/SYNSET/ID



//ID



/WN/SYNSET[3]/ID



/WN/SYNSET[last()]/ID



kontext: /WN/SYNSET[2]
ID
./ID




//SYNSET[POS="v"]



//SYNSET[ID="eng-30-01171183-v"]



//SYNSET[ID="eng-30-07881800-n"]//LITERAL



//SYNSET[SYNONYM/LITERAL/@sense="2"]



//LITERAL[@sense="2"]/../..




//SYNSET[POS="n" and count(SYNONYM/LITERAL)>5]