diff --git a/tests/semantic_check_demo.claro b/tests/semantic_check_demo.claro
new file mode 100644
index 0000000..fceedd5
--- /dev/null
+++ b/tests/semantic_check_demo.claro
@@ -0,0 +1,7 @@
+TEACH add TAKES a, b
+    RETURN a + b
+LEARNED
+
+CALL add WITH 1, 2
+CALL add WITH 1        # warning: missing arg
+CALL missing WITH 1    # error: unknown function