updated readme with paper example location.

README.md

@@ -22,9 +22,19 @@ conformance is supported by existing metrics.
 
 ## Evaluation
 
-To generate the logs used for counter-examples, create a virtual python environment using pipenv and then run the `generate.py` script in the root directory.
-All data (logs and models) used as counter-examples for each axiom can be found in the `axioms` folder, where for each axiom has a sub folder containing the relevant logs and models.
-Our record of analysis for all four possible candidiates in the submitted paper can be found in the excel spreadsheet `axioms_counter_examples.xlsx`, in the root directory.
+To generate the logs used for counter-examples, create a virtual python environment 
+using pipenv and then run the `generate.py` script in the root directory.
+All data (logs and models) used as counter-examples for each axiom can be found in 
+the `axioms` folder, where for each axiom has a sub folder containing the relevant 
+logs and models.
+Our record of analysis for all four possible candidiates in the submitted paper 
+can be found in the excel spreadsheet `axioms_counter_examples.xlsx`, in the root 
+directory.
+
+### Paper Example - Series of Counterexamples
+The models used in the paper as an example of a series of counterexamples for axioms
+ can be found in the `paper example` directory.
 
 ### Model generation
-All models were manually created for each counter-example using ProM and the "Edit DPN (Text Language based)" plug-in authored by F.Mannhardt.
+All models were manually created for each counter-example using ProM and the 
+"Edit DPN (Text Language based)" plug-in authored by F.Mannhardt.