Created some SADDL files to go with the toy example in the paper

toy example/toy_rocket.saddl

@@ -0,0 +1,11 @@
+DEFINE CN1 as 8-year-old child can operate
+DEFINE CN2 as Flies 3 m up
+DEFINE CN3 as Flies at least 5 m from 1 m starting height
+DEFINE CN4 as Doesn't injur people
+DEFINE CN5 as Doesn't shatter glass windows
+DEFINE CN6 as Fuel is easily available in common households
+DEFINE FR1 as When shot up vertically, the "rocket" flies at least 3m
+DEFINE FR2 as When shot horizontally from an elevation of 1 m, the "rocket" travels at least 5 m
+DEFINE FR3 as The maximum kinetic energy at launch is less than 0.5 J
+DEFINE FR4 as The "rocket's" impact area is at least 30 mm²
+DEFINE DP1 as Kinetic-reaction self-launch