diff --git a/toy example/toy_hybrid.saddl b/toy example/toy_hybrid.saddl new file mode 100644 index 0000000..1ee0337 --- /dev/null +++ b/toy example/toy_hybrid.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 Hybrid launcher with rocket non-propelled diff --git a/toy example/toy_rocket.saddl b/toy example/toy_rocket.saddl new file mode 100644 index 0000000..d86f85f --- /dev/null +++ b/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 diff --git a/toy example/toy_slingshot.saddl b/toy example/toy_slingshot.saddl new file mode 100644 index 0000000..2747e29 --- /dev/null +++ b/toy example/toy_slingshot.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 Slingshot launcher