docs

situation-space.md

@@ -4,12 +4,14 @@ This is an overview of how a situation space and theory looks like over the cour
 
 Read from top to bottom; the comments indicate the "current" action that led to the creation of the respective module or declaration.
 
+Note that the below presentation features a linearly developing situation space. This is just the easiest case. Situation spaces can develop arbitrarily complex in tree-like fashion (e.g., compare with quest and side quest systems of MMORPGs).
+
 ```mmt
 
 fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta ❚
 
 theory SituationSpace = 
-	// Player starts with situation_theory_1 below that includes this root situation theory,
+	// Player starts with SituationTheory1 below that includes this root situation theory,
 	   providing access to scrolls that are available by default ❙
 	theory Root =
 		include ☞http://mathhub.info/FrameIT/frameworld?OppositeLen ❙
@@ -18,7 +20,7 @@ theory SituationSpace =
 	❚
 	
 	// Player starts with this situation theory. ❙
-	theory situation_theory_1 =
+	theory SituationTheory1 =
 		include ?DefaultSituationSpace/Root ❙
 
 		// The player collects some facts about the world. ❙
@@ -27,7 +29,7 @@ theory SituationSpace =
 		fact3: ... ❙
 
 		// The player formulates a scroll view... (continued below) ❙
-		view scroll_view_1 : ?OppositeLen/Problem  -> ?SituationSpace/situation_theory_1  = 
+		view ScrollView1 : ?OppositeLen/Problem  -> ?SituationSpace/SituationTheory1  = 
 			factslot1 = fact1 ❙
 			factslot2 = fact2 ❙
 			factslot3 = fact3 ❙
@@ -35,30 +37,37 @@ theory SituationSpace =
 	❚
 	
 	// (continued)... and applies the scroll and thus lands in a new derived situation theory. ❙
-	theory situation_theory_2 =
-		include ?SituationSpace/situation_theory_1 ❙
+	theory SituationTheory2 =
+		include ?SituationSpace/SituationTheory1 ❙
 
 		// The player gets access to facts obtained by the scroll (these are precisely the ones pushed out
-		   from ?OppositeLen/Solution over ?SituationSpace?situation_theory_1?scroll_view_1). ❙
+		   from ?OppositeLen/Solution over ?SituationSpace?SituationTheory1?ScrollView1). ❙
 		out_fact1: ... ❙
 		out_fact2: ... ❙
 		out_fact3: ... ❙
 
+		// Also, the player gets the view into the pushout ❙
+		view ScrollView1_pushout : ?OppositeLen/Solution  -> ?SituationSpace/SituationTheory2 = 
+			out_fact1 = out_fact1 ❙
+			out_fact2 = out_fact2 ❙
+			out_fact3 = out_fact3 ❙
+		❚
+
 		// The player goes on collecting more facts. ❙
 		fact4: ... ❙
 		fact5: ... ❙
 
 		// The player again formulates a scroll, now being able to combine facts they measured themselves
 		   and facts they previously obtained via scroll application. ❙
-		view scroll_view_2 : ?OppositeLen/Problem  -> ?SituationSpace/situation_theory_2 =
+		view ScrollView2 : ?OppositeLen/Problem  -> ?SituationSpace/SituationTheory2 =
 			factslot1 = out_fact1 ❙
 			factslot2 = fact4 ❙
 			factslot3 = out_fact3 ❙
 		❚
 	❚
 	
-	theory SituationSpace/situation_theory_3 =
-		include ?SituationSpace/situation_theory_2 ❙
+	theory SituationSpace/SituationTheory3 =
+		include ?SituationSpace/SituationTheory2 ❙
 		out_fact4: ... ❙
 
 		// and so on and so forth ❙