Hypergraph querying using structural indexing and layer-related-closure verification. Issue 3 (March 2016)