From 5225cd8e27a94fe14936e3df2b077123355d0ed7 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 31 Mar 2022 11:14:16 -0700
Subject: [PATCH] Update Baseball_At_Bat.mp

---
 .../Application_examples/Baseball_At_Bat.mp   | 22 +++++++++++--------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/models/Application_examples/Baseball_At_Bat.mp b/models/Application_examples/Baseball_At_Bat.mp
index c8ed383..24e64fc 100644
--- a/models/Application_examples/Baseball_At_Bat.mp
+++ b/models/Application_examples/Baseball_At_Bat.mp
@@ -8,14 +8,18 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
-│*│ │ To show that MP can be used to model results from  │ │
-│*│ │ interactions that are found in a very well-known   │ │
-│*│ │ game such as Baseball. This model demonstrates a   │ │
-│*│ │ baseball at bat involving 1 Pitcher and 1 Batter.  │ │
-│*│ │ It is important to note, though, that this model   │ │
-│*│ │ shows only a selection of all of the possible      │ │
-│*│ │ Batter outcomes that can actually occur in the     │ │
-│*│ │ game of Baseball.                                  │ │
+│*│ │ To                                                 │ │
+│*│ │ 1) demonstrate several different aspects of ENSURE │ │
+│*│ │    in MP, including the use of inequalities within │ │
+│*│ │    ENSURE constraints, and                         │ │
+│*│ │ 2) show that MP can be used to model results from  │ │
+│*│ │    interactions that are found in a very well-known│ │
+│*│ │    game such as Baseball. This model illustrates   │ │
+│*│ │    a baseball at bat with 1 Pitcher and 1 Batter.  │ │
+│*│ │    It is important to note, though, that this model│ │
+│*│ │    shows only a selection of all of the possible   │ │
+│*│ │    Batter outcomes that can actually occur in the  │ │
+│*│ │    game of Baseball.                               │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
@@ -35,7 +39,7 @@
 │*│ │ impossible with only 1 Batter.                     │ │
 │*│ │                                                    │ │
 │*│ │ A snapshot of typical baseball occurrences are     │ │
-│*│ │ highlighted in the Pitcher and Batter ROOT events. │ │
+│*│ │ highlighted in the Pitcher and Batter root events. │ │
 │*│ │ Fastball, Breaking_Ball, and Changeup represent the│ │
 │*│ │ three main categories of baseball pitches. The     │ │
 │*│ │ composite events No_Swing, Swing_and_Miss,         │ │
-- 
GitLab