From fa8ea1ed9daebe844f5de9f3738ca3bc768e97c2 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Fri, 23 Jul 2021 15:53:12 +0000
Subject: [PATCH] Update Application_examples/Small_Package_Delivery.mp

---
 Application_examples/Small_Package_Delivery.mp | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp
index fd89be0..846d70e 100644
--- a/Application_examples/Small_Package_Delivery.mp
+++ b/Application_examples/Small_Package_Delivery.mp
@@ -32,13 +32,15 @@ References:
 
 Search terms: small package delivery; autonomous; ENSURE condition; Type 1 probability
 
-Instructions: Run for Scope 1. This model shows only two scenarios due to overloading constraints
-(constraints that suppress entire branches of execution that a user
-intended to permit). Removing everything except the SCHEMA definition and the Air_Vehicle 
-root, and running that model subset, one can 
-see 6 event traces, one of which is unexpected: the Air_Vehicle drops 
-the payload with no vessel in sight (trace 6).
+Instructions: Run for Scope 1.
     Scope 1: 2 traces in less than 1 sec.
+This model shows only two scenarios due to overloading constraints
+(constraints that suppress entire branches of execution that a user
+intended to permit). Commenting everything out except the SCHEMA definition and the Air_Vehicle 
+root, and running that model subset at Scope 1, there are 6 event traces that can be seen.
+Two of these are unexpected. In Trace 5, there is no vessel in sight but the Air_Vehicle still
+drops the payload and the payload is on target. In Trace 6, there is no vessel in sight but
+the Air_Vehicle still drops the payload and the payload misses the target.
 
 ==========================================================*/
 
-- 
GitLab