Update Application_examples/Small_Package_Delivery.mp

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.
 
 ==========================================================*/