Special emphasis in the development of fsq is layed on providing users a very powerful query language.
full first-order logic was chosen as query language which allows arbitrary quantifications over nodes in a tree.