From b3470dce7b4e6983cd04b65c13805453d8ee5966 Mon Sep 17 00:00:00 2001
From: Folkert Kevelam <contact@pyllr.nl>
Date: Sun, 24 Aug 2025 18:01:57 +0200
Subject: [PATCH] Initial commit

---
 data/penrose/set.domain |  3 +++
 data/penrose/set.style  | 17 +++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 data/penrose/set.domain
 create mode 100644 data/penrose/set.style

diff --git a/data/penrose/set.domain b/data/penrose/set.domain
new file mode 100644
index 0000000..33d1bb8
--- /dev/null
+++ b/data/penrose/set.domain
@@ -0,0 +1,3 @@
+type Set
+
+predicate SubSet(Set s1, Set s2)
diff --git a/data/penrose/set.style b/data/penrose/set.style
new file mode 100644
index 0000000..d474111
--- /dev/null
+++ b/data/penrose/set.style
@@ -0,0 +1,17 @@
+canvas {
+    width = 100
+    height = 100
+}
+
+forall Set A; Set B
+where SubSet(A, B) {
+    ensure contains(A.icon, B.icon, 5.0)
+    A.icon above B.icon
+}
+
+forall Set x {
+    x.icon = Circle {
+        strokeWidth : 0.0
+    }
+    ensure x.icon.r > 25
+}