1 files changed, 10 insertions, 0 deletions

diff --git a/Domains/crossingScenario/src/queries/queries.vql b/Domains/crossingScenario/src/queries/queries.vql
new file mode 100644
index 00000000..d00fae3f
--- /dev/null
+++ b/Domains/crossingScenario/src/queries/queries.vql
@@ -0,0 +1,10 @@
+package queries
+
+import "http://www.example.com/crossingScenario"
+import "http://www.eclipse.org/emf/2002/Ecore"
+
+/////////pedestrian-width (4) //TODO Derived?
+pattern x(p:Pedestrian) {
+    Pedestrian.length(p, l);
+    check(l != 1.0);
+}
\ No newline at end of file