diff --git a/build.sbt b/build.sbt
index 619910e..fe48284 100644
--- a/build.sbt
+++ b/build.sbt
@@ -61,6 +61,12 @@ lazy val examples =
     .dependsOn(core)
     .settings(
       commonSettings,
+      /**
+       * YAML 1.2 parser
+       * [[https://bitbucket.org/asomov/snakeyaml-engine]]
+       * [[https://repo1.maven.org/maven2/org/snakeyaml/snakeyaml-engine/]]
+       */
+      libraryDependencies += "org.snakeyaml" % "snakeyaml-engine" % "2.7",
       assembly / assemblyJarName := "examples-" + version.value + ".jar"
     )
 
@@ -72,6 +78,7 @@ lazy val root =
     .dependsOn(docs, core, examples)
     .settings(
       commonSettings,
+      assembly / mainClass := Some("soda.tiles.fairness.example.main.EntryPoint"),
       assembly / assemblyJarName := "tiles-" + version.value + ".jar"
     )
 
diff --git a/core/src/main/scala/soda/tiles/fairness/pipeline/Package.scala b/core/src/main/scala/soda/tiles/fairness/pipeline/Package.scala
index 18c9e4e..34d35f2 100644
--- a/core/src/main/scala/soda/tiles/fairness/pipeline/Package.scala
+++ b/core/src/main/scala/soda/tiles/fairness/pipeline/Package.scala
@@ -28,14 +28,12 @@ import   soda.tiles.fairness.tile.FalsePosTile
 import   soda.tiles.fairness.tile.NeededPTile
 import   soda.tiles.fairness.tile.PredictionPTile
 import   soda.tiles.fairness.tile.ReceivedSigmaPTile
-import   soda.tiles.fairness.tile.ResultPTile
 import   soda.tiles.fairness.tile.SigmaTile
 import   soda.tiles.fairness.tile.UnzipPairFstTile
 import   soda.tiles.fairness.tile.UnzipPairSndTile
 import   soda.tiles.fairness.tile.UnzipTripleFstTile
 import   soda.tiles.fairness.tile.UnzipTripleSndTile
 import   soda.tiles.fairness.tile.UnzipTripleTrdTile
-import   soda.tiles.fairness.tile.WithPTile
 import   soda.tiles.fairness.tile.ZipTile
 
 
@@ -190,9 +188,9 @@ trait UnbiasednessPipeline
 
   lazy val prediction_p_tile = PredictionPTile .mk (p0_evaluation)
 
-  lazy val result_p_tile = ResultPTile .mk (p1_result)
+  lazy val result_p_tile = AttributePTile .mk (p1_result)
 
-  lazy val with_p_tile = WithPTile .mk (p2_with_p)
+  lazy val with_p_tile = AttributePTile .mk (p2_with_p)
 
   lazy val false_pos_tile = FalsePosTile .mk
 
diff --git a/core/src/main/scala/soda/tiles/fairness/pipeline/Package.soda b/core/src/main/scala/soda/tiles/fairness/pipeline/Package.soda
index dec3a92..bc16bef 100644
--- a/core/src/main/scala/soda/tiles/fairness/pipeline/Package.soda
+++ b/core/src/main/scala/soda/tiles/fairness/pipeline/Package.soda
@@ -29,13 +29,11 @@ import
   soda.tiles.fairness.tile.NeededPTile
   soda.tiles.fairness.tile.PredictionPTile
   soda.tiles.fairness.tile.ReceivedSigmaPTile
-  soda.tiles.fairness.tile.ResultPTile
   soda.tiles.fairness.tile.SigmaTile
   soda.tiles.fairness.tile.UnzipPairFstTile
   soda.tiles.fairness.tile.UnzipPairSndTile
   soda.tiles.fairness.tile.UnzipTripleFstTile
   soda.tiles.fairness.tile.UnzipTripleSndTile
   soda.tiles.fairness.tile.UnzipTripleTrdTile
-  soda.tiles.fairness.tile.WithPTile
   soda.tiles.fairness.tile.ZipTile
 
diff --git a/core/src/main/scala/soda/tiles/fairness/pipeline/UnbiasednessPipeline.soda b/core/src/main/scala/soda/tiles/fairness/pipeline/UnbiasednessPipeline.soda
index e3b5b4b..a8ddcad 100644
--- a/core/src/main/scala/soda/tiles/fairness/pipeline/UnbiasednessPipeline.soda
+++ b/core/src/main/scala/soda/tiles/fairness/pipeline/UnbiasednessPipeline.soda
@@ -37,9 +37,9 @@ class UnbiasednessPipeline
 
   prediction_p_tile = PredictionPTile .mk (p0_evaluation)
 
-  result_p_tile = ResultPTile .mk (p1_result)
+  result_p_tile = AttributePTile .mk (p1_result)
 
-  with_p_tile = WithPTile .mk (p2_with_p)
+  with_p_tile = AttributePTile .mk (p2_with_p)
 
   false_pos_tile = FalsePosTile .mk
 
diff --git a/core/src/main/scala/soda/tiles/fairness/tile/Package.scala b/core/src/main/scala/soda/tiles/fairness/tile/Package.scala
index f505588..2e38cf5 100644
--- a/core/src/main/scala/soda/tiles/fairness/tile/Package.scala
+++ b/core/src/main/scala/soda/tiles/fairness/tile/Package.scala
@@ -677,35 +677,6 @@ object ReceivedSigmaPTile {
 }
 
 
-/*
-directive lean
-import Soda.tiles.fairness.tool.TileMessage
-import Soda.tiles.fairness.tile.AttributePTile
-*/
-
-/**
- * This tile is a particular case of an 'AttributePTile', where the attribute is the 'result'.
- * This tile is used to contrast obtained results to predicted results.
- */
-
-trait ResultPTile
-{
-
-  def   p : Actor => Measure
-
-  def apply (message : TileMessage [Seq [Actor] ] ) : TileMessage [Seq [Measure] ] =
-    AttributePTile .mk (p) .apply (message)
-
-}
-
-case class ResultPTile_ (p : Actor => Measure) extends ResultPTile
-
-object ResultPTile {
-  def mk (p : Actor => Measure) : ResultPTile =
-    ResultPTile_ (p)
-}
-
-
 /*
 directive lean
 import Soda.tiles.fairness.tool.TileMessage
@@ -912,34 +883,6 @@ object UnzipTripleTrdTile {
 }
 
 
-/*
-directive lean
-import Soda.tiles.fairness.tool.TileMessage
-import Soda.tiles.fairness.tile.AttributePTile
-*/
-
-/**
- * This tile is a particular case of a 'AttributePTile', that projects given property.
- */
-
-trait WithPTile
-{
-
-  def   p : Actor => Measure
-
-  def apply (message : TileMessage [Seq [Actor] ] ) : TileMessage [Seq [Measure] ] =
-    AttributePTile .mk (p) .apply (message)
-
-}
-
-case class WithPTile_ (p : Actor => Measure) extends WithPTile
-
-object WithPTile {
-  def mk (p : Actor => Measure) : WithPTile =
-    WithPTile_ (p)
-}
-
-
 /*
 directive lean
 import Soda.tiles.fairness.tool.TileMessage
diff --git a/core/src/main/scala/soda/tiles/fairness/tile/ResultPTile.soda b/core/src/main/scala/soda/tiles/fairness/tile/ResultPTile.soda
deleted file mode 100644
index cea8cbd..0000000
--- a/core/src/main/scala/soda/tiles/fairness/tile/ResultPTile.soda
+++ /dev/null
@@ -1,20 +0,0 @@
-
-directive lean
-import Soda.tiles.fairness.tool.TileMessage
-import Soda.tiles.fairness.tile.AttributePTile
-
-
-/**
- * This tile is a particular case of an 'AttributePTile', where the attribute is the 'result'.
- * This tile is used to contrast obtained results to predicted results.
- */
-
-class ResultPTile
-
-  abstract
-    p : Actor -> Measure
-
-  apply (message : TileMessage [Seq [Actor] ] ) : TileMessage [Seq [Measure] ] =
-    AttributePTile .mk (p) .apply (message)
-
-end
diff --git a/core/src/main/scala/soda/tiles/fairness/tile/WithPTile.soda b/core/src/main/scala/soda/tiles/fairness/tile/WithPTile.soda
deleted file mode 100644
index eab4546..0000000
--- a/core/src/main/scala/soda/tiles/fairness/tile/WithPTile.soda
+++ /dev/null
@@ -1,20 +0,0 @@
-
-directive lean
-import Soda.tiles.fairness.tool.TileMessage
-import Soda.tiles.fairness.tile.AttributePTile
-
-
-/**
- * This tile is a particular case of a 'AttributePTile', that projects given property.
- */
-
-class WithPTile
-
-  abstract
-    p : Actor -> Measure
-
-  apply (message : TileMessage [Seq [Actor] ] ) : TileMessage [Seq [Measure] ] =
-    AttributePTile .mk (p) .apply (message)
-
-end
-
diff --git a/docs/README.md b/docs/README.md
index e632c03..cb5108b 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -108,8 +108,8 @@ are:
 [ResourceAllocationScenarioExample]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/ResourceAllocationScenarioExample.soda
 [EqualityPipelineSpec]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/EqualityPipelineSpec.soda
 [EquityPipelineSpec]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/EquityPipelineSpec.soda
-[ccs-example]: ccs_example.html
-[scoring-example]: scoring_example.html
+[ccs-example]: https://julianmendez.github.io/tiles/ccs_example.html
+[scoring-example]: https://julianmendez.github.io/tiles/scoring_example.html
 
 <script>
   window.mermaid.init(undefined, document.querySelectorAll('.language-mermaid'));
diff --git a/docs/scoring_example.md b/docs/scoring_example.md
index e6e2fef..2956cfe 100644
--- a/docs/scoring_example.md
+++ b/docs/scoring_example.md
@@ -11,9 +11,9 @@ These are some of the implemented fairness tiles for scoring scenarios:
 |:---------------------------------------------------|:---------------------------------------------|
 | all-actor <sub>*(a0), (a1), (a2)*</sub>            | [AllActorTripleTile][AllActorTripleTile]     |
 | <sub>*(a)*</sub> prediction <sub>*(m)*</sub>       | [PredictionPTile][PredictionPTile]           |
-| <sub>*(a)*</sub> result <sub>*(m)*</sub>           | [ResultPTile][ResultPTile]                   |
+| <sub>*(a)*</sub> result <sub>*(m)*</sub>           | [AttributePTile][AttributePTile]             |
 | <sub>*(m0), (m1)*</sub> false-pos <sub>*(m)*</sub> | [FalsePosTile][FalsePosTile]                 |
-| <sub>*(a)*</sub> with <sub>*(m)*</sub>             | [WithPTile][WithPTile]                       |
+| <sub>*(a)*</sub> with <sub>*(m)*</sub>             | [AttributePTile][AttributePTile]             |
 | <sub>*(m0), (m1)*</sub> correlation <sub>*m*</sub> | [CorrelationTile][CorrelationTile]           |
 | <sub>*m*</sub> decision <sub>*b*</sub>             | [DecisionTile][DecisionTile]                 |
 | unbiasedness <sub>*b*</sub>                        | [UnbiasednessPipeline][UnbiasednessPipeline] |
@@ -40,9 +40,8 @@ graph LR
 
 [AllActorTripleTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AllActorTripleTile.soda
 [PredictionPTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/PredictionPTile.soda
-[ResultPTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/ResultPTile.soda
+[AttributePTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AttributePTile.soda
 [FalsePosTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/FalsePosTile.soda
-[WithPTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/WithPTile.soda
 [CorrelationTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/CorrelationTile.soda
 [DecisionTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/DecisionTile.soda
 [UnbiasednessPipeline]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/pipeline/UnbiasednessPipeline.soda
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstance.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstance.soda
new file mode 100644
index 0000000..48810b0
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstance.soda
@@ -0,0 +1,47 @@
+
+class CcsAcromagatInstance
+
+  abstract
+    actors : Seq [Actor]
+    resources : Seq [Resource]
+    outcome : Outcome
+    actor_children_map : Map [Actor] [Measure]
+    actor_adults_map : Map [Actor] [Measure]
+    actor_income_map : Map [Actor] [Measure]
+    resource_value_map : Map [Resource] [Measure]
+    pipelines : Seq [String]
+
+  _add_value_to (value : Int) (m : Measure) : Measure =
+    match m
+      case Some (other_value) ==> Some (value + other_value)
+      case None ==> None
+
+  measure_sum (a : Measure) (b : Measure) : Measure =
+    match a
+      case Some (value) ==> _add_value_to (value) (b)
+      case None ==> None
+
+  get_or_else [A : Type] (map : Map [A] [Measure] ) (key : A) (default : Measure) : Measure =
+    match map .get (key)
+      case Some (value) ==> value
+      case None ==> default
+
+  actor_children (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_children_map) (actor) (Some (-1) )
+
+  actor_adults (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_adults_map) (actor) (Some (-1) )
+
+  actor_income (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_income_map) (actor) (Some (-1) )
+
+  resource_value (resource : Resource) : Measure =
+    get_or_else [Resource] (resource_value_map) (resource) (Some (-1) )
+
+  context = "ChildCareSubsidy"
+
+  initial_message : TileMessage [Boolean] =
+    TileMessageBuilder .mk .build (context) (outcome) (true)
+
+end
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstanceBuilder.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstanceBuilder.soda
new file mode 100644
index 0000000..90041c1
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsAcromagatInstanceBuilder.soda
@@ -0,0 +1,113 @@
+
+class CcsAcromagatInstanceBuilder
+
+  abstract
+
+  import
+    soda.tiles.fairness.example.parser.YamlParser
+    java.io.BufferedReader
+    java.io.Reader
+
+  actors_key = "actors"
+
+  resources_key = "resources"
+
+  outcome_key = "outcome"
+
+  actor_children_key = "actor_children"
+
+  actor_adults_key = "actor_adults"
+
+  actor_income_key = "actor_income"
+
+  resource_value_key = "resource_value"
+
+  pipelines_key = "pipelines"
+
+  to_measure (s : String) : Measure =
+    s .toIntOption
+
+  _get_actors (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Seq [Actor] =
+    m .getOrElse (actors_key , None)
+      .iterator
+      .map (lambda pair --> pair ._1)
+      .toSeq
+
+  _get_resources (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Seq [Resource] =
+    m .getOrElse (resources_key , None)
+      .iterator
+      .map (lambda pair --> pair ._1)
+      .toSeq
+
+  _get_outcome (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Outcome =
+    Outcome .mk (
+      m .getOrElse (outcome_key , None)
+        .iterator
+        .map(lambda pair --> Assignment .mk (pair._1) (pair ._2) )
+        .toSeq
+    )
+
+  _get_actor_children_map (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Map [Actor] [Measure] =
+    m .getOrElse (actor_children_key , None)
+      .iterator
+      .map (lambda pair --> Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  _get_actor_adults_map (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Map [Actor] [Measure] =
+    m .getOrElse (actor_adults_key , None)
+      .iterator
+      .map (lambda pair --> Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  _get_actor_income_map (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Map [Actor] [Measure] =
+    m .getOrElse (actor_income_key , None)
+      .iterator
+      .map (lambda pair --> Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  _get_resource_value_map (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Map [Resource] [Measure] =
+    m .getOrElse (resource_value_key , None)
+      .iterator
+      .map (lambda pair --> Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  _get_pipelines (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Seq [String] =
+    m .getOrElse (pipelines_key , None)
+      .iterator
+      .map (lambda pair --> pair ._1)
+      .toSeq
+
+  _build_from_map (m : Map [String] [Seq [Tuple2 [String] [String] ] ] )
+      : Option [CcsAcromagatInstance] =
+    Some (
+      CcsAcromagatInstance .mk (
+        _get_actors (m) ) (
+        _get_resources (m) ) (
+        _get_outcome (m) ) (
+        _get_actor_children_map (m) ) (
+        _get_actor_adults_map (m) ) (
+        _get_actor_income_map (m) ) (
+        _get_resource_value_map (m) ) (
+        _get_pipelines (m)
+      )
+    )
+
+  build (s : Seq [Seq [Tuple2 [String] [Seq [Tuple2 [String] [String] ] ] ] ] )
+      : Option [CcsAcromagatInstance] =
+    match s
+      case a +: as ==> _build_from_map (a .toMap)
+      case otherwise ==> None
+
+  from_yaml (reader : Reader) : Option [CcsAcromagatInstance] =
+     build (YamlParser .mk .parse (reader) )
+
+end
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsNoSubsidyPipeline.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsNoSubsidyPipeline.soda
index 856a9c2..11be8f2 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsNoSubsidyPipeline.soda
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsNoSubsidyPipeline.soda
@@ -1,5 +1,7 @@
 
 class CcsNoSubsidyPipeline
+  extends
+    CcsPipeline
 
   abstract
     sigma : Measure -> Measure -> Measure
@@ -23,4 +25,7 @@ class CcsNoSubsidyPipeline
       )
     )
 
+  runner : TileMessage [Boolean] -> TileMessage [Boolean] =
+    lambda message --> apply (message)
+
 end
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerChildPipeline.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerChildPipeline.soda
index 60ff8e8..332cf7d 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerChildPipeline.soda
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerChildPipeline.soda
@@ -15,6 +15,8 @@ import Soda.tiles.fairness.tile.ZipTile
  */
 
 class CcsPerChildPipeline
+  extends
+    CcsPipeline
 
   abstract
     sigma : Measure -> Measure -> Measure
@@ -73,5 +75,7 @@ class CcsPerChildPipeline
       )
     )
 
-end
+  runner : TileMessage [Boolean] -> TileMessage [Boolean] =
+    lambda message --> apply (message)
 
+end
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerFamilyPipeline.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerFamilyPipeline.soda
index bba8c48..75fa428 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerFamilyPipeline.soda
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPerFamilyPipeline.soda
@@ -1,5 +1,7 @@
 
 class CcsPerFamilyPipeline
+  extends
+    CcsPipeline
 
   abstract
     sigma : Measure -> Measure -> Measure
@@ -18,4 +20,7 @@ class CcsPerFamilyPipeline
       )
     )
 
+  runner : TileMessage [Boolean] -> TileMessage [Boolean] =
+    lambda message --> apply (message)
+
 end
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipeline.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipeline.soda
new file mode 100644
index 0000000..7c3b7d8
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipeline.soda
@@ -0,0 +1,11 @@
+
+class CcsPipeline
+
+  abstract
+    runner : TileMessage [Boolean] -> TileMessage [Boolean]
+
+  run (initial : TileMessage [Boolean] ) : TileMessage [Boolean] =
+    runner (initial)
+
+end
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipelineFactory.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipelineFactory.soda
new file mode 100644
index 0000000..df3a156
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsPipelineFactory.soda
@@ -0,0 +1,23 @@
+
+class CcsPipelineFactory
+
+  abstract
+
+  get_pipeline (name : String) (m : CcsAcromagatInstance) : Option [CcsPipeline] =
+    if name == "CcsNoSubsidyPipeline"
+    then Some (
+      CcsNoSubsidyPipeline .mk (m .measure_sum) (m .resource_value) )
+    else if name == "CcsPerChildPipeline"
+    then Some (
+      CcsPerChildPipeline .mk (m .measure_sum) (m .actor_children) (m .resource_value) )
+    else if name == "CcsPerFamilyPipeline"
+    then Some (
+      CcsPerFamilyPipeline .mk (m .measure_sum) (m .resource_value) )
+    else if name == "CcsSingleGuardianPipeline"
+    then Some (
+      CcsSingleGuardianPipeline .mk (m .measure_sum) (m .actor_adults) (m .resource_value) )
+    else None
+
+end
+
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsSingleGuardianPipeline.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsSingleGuardianPipeline.soda
index 94c0d96..7faa1b0 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsSingleGuardianPipeline.soda
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/CcsSingleGuardianPipeline.soda
@@ -1,5 +1,7 @@
 
 class CcsSingleGuardianPipeline
+  extends
+    CcsPipeline
 
   abstract
     sigma : Measure -> Measure -> Measure
@@ -71,4 +73,7 @@ class CcsSingleGuardianPipeline
       )
     )
 
+  runner : TileMessage [Boolean] -> TileMessage [Boolean] =
+    lambda message --> apply (message)
+
 end
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
index 1d7d38d..bb8e44a 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
@@ -27,14 +27,12 @@ import   soda.tiles.fairness.tile.MapPTile
 import   soda.tiles.fairness.tile.NeededPTile
 import   soda.tiles.fairness.tile.PredictionPTile
 import   soda.tiles.fairness.tile.ReceivedSigmaPTile
-import   soda.tiles.fairness.tile.ResultPTile
 import   soda.tiles.fairness.tile.SigmaTile
 import   soda.tiles.fairness.tile.UnzipPairFstTile
 import   soda.tiles.fairness.tile.UnzipPairSndTile
 import   soda.tiles.fairness.tile.UnzipTripleFstTile
 import   soda.tiles.fairness.tile.UnzipTripleSndTile
 import   soda.tiles.fairness.tile.UnzipTripleTrdTile
-import   soda.tiles.fairness.tile.WithPTile
 import   soda.tiles.fairness.tile.ZipTile
 import   soda.tiles.fairness.pipeline.EqualityPipeline
 import   soda.tiles.fairness.pipeline.EquityPipeline
@@ -44,7 +42,187 @@ import   soda.tiles.fairness.pipeline.UnbiasednessPipeline
 
 
 
+trait CcsAcromagatInstance
+{
+
+  def   actors : Seq [Actor]
+  def   resources : Seq [Resource]
+  def   outcome : Outcome
+  def   actor_children_map : Map [Actor, Measure]
+  def   actor_adults_map : Map [Actor, Measure]
+  def   actor_income_map : Map [Actor, Measure]
+  def   resource_value_map : Map [Resource, Measure]
+  def   pipelines : Seq [String]
+
+  private def _add_value_to (value : Int) (m : Measure) : Measure =
+    m match  {
+      case Some (other_value) => Some (value + other_value)
+      case None => None
+    }
+
+  def measure_sum (a : Measure) (b : Measure) : Measure =
+    a match  {
+      case Some (value) => _add_value_to (value) (b)
+      case None => None
+    }
+
+  def get_or_else [A ] (map : Map [A, Measure] ) (key : A) (default : Measure) : Measure =
+    map .get (key) match  {
+      case Some (value) => value
+      case None => default
+    }
+
+  def actor_children (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_children_map) (actor) (Some (-1) )
+
+  def actor_adults (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_adults_map) (actor) (Some (-1) )
+
+  def actor_income (actor : Actor) : Measure =
+    get_or_else [Actor] (actor_income_map) (actor) (Some (-1) )
+
+  def resource_value (resource : Resource) : Measure =
+    get_or_else [Resource] (resource_value_map) (resource) (Some (-1) )
+
+  lazy val context = "ChildCareSubsidy"
+
+  lazy val initial_message : TileMessage [Boolean] =
+    TileMessageBuilder .mk .build (context) (outcome) (true)
+
+}
+
+case class CcsAcromagatInstance_ (actors : Seq [Actor], resources : Seq [Resource], outcome : Outcome, actor_children_map : Map [Actor, Measure], actor_adults_map : Map [Actor, Measure], actor_income_map : Map [Actor, Measure], resource_value_map : Map [Resource, Measure], pipelines : Seq [String]) extends CcsAcromagatInstance
+
+object CcsAcromagatInstance {
+  def mk (actors : Seq [Actor]) (resources : Seq [Resource]) (outcome : Outcome) (actor_children_map : Map [Actor, Measure]) (actor_adults_map : Map [Actor, Measure]) (actor_income_map : Map [Actor, Measure]) (resource_value_map : Map [Resource, Measure]) (pipelines : Seq [String]) : CcsAcromagatInstance =
+    CcsAcromagatInstance_ (actors, resources, outcome, actor_children_map, actor_adults_map, actor_income_map, resource_value_map, pipelines)
+}
+
+
+trait CcsAcromagatInstanceBuilder
+{
+
+
+
+  import   soda.tiles.fairness.example.parser.YamlParser
+  import   java.io.BufferedReader
+  import   java.io.Reader
+
+  lazy val actors_key = "actors"
+
+  lazy val resources_key = "resources"
+
+  lazy val outcome_key = "outcome"
+
+  lazy val actor_children_key = "actor_children"
+
+  lazy val actor_adults_key = "actor_adults"
+
+  lazy val actor_income_key = "actor_income"
+
+  lazy val resource_value_key = "resource_value"
+
+  lazy val pipelines_key = "pipelines"
+
+  def to_measure (s : String) : Measure =
+    s .toIntOption
+
+  private def _get_actors (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Seq [Actor] =
+    m .getOrElse (actors_key , None)
+      .iterator
+      .map ( pair => pair ._1)
+      .toSeq
+
+  private def _get_resources (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Seq [Resource] =
+    m .getOrElse (resources_key , None)
+      .iterator
+      .map ( pair => pair ._1)
+      .toSeq
+
+  private def _get_outcome (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Outcome =
+    Outcome .mk (
+      m .getOrElse (outcome_key , None)
+        .iterator
+        .map( pair => Assignment .mk (pair._1) (pair ._2) )
+        .toSeq
+    )
+
+  private def _get_actor_children_map (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Map [Actor, Measure] =
+    m .getOrElse (actor_children_key , None)
+      .iterator
+      .map ( pair => Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  private def _get_actor_adults_map (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Map [Actor, Measure] =
+    m .getOrElse (actor_adults_key , None)
+      .iterator
+      .map ( pair => Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  private def _get_actor_income_map (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Map [Actor, Measure] =
+    m .getOrElse (actor_income_key , None)
+      .iterator
+      .map ( pair => Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  private def _get_resource_value_map (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Map [Resource, Measure] =
+    m .getOrElse (resource_value_key , None)
+      .iterator
+      .map ( pair => Tuple2 (pair ._1 , to_measure (pair ._2) ) )
+      .toMap
+
+  private def _get_pipelines (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Seq [String] =
+    m .getOrElse (pipelines_key , None)
+      .iterator
+      .map ( pair => pair ._1)
+      .toSeq
+
+  private def _build_from_map (m : Map [String, Seq [Tuple2 [String, String] ] ] )
+      : Option [CcsAcromagatInstance] =
+    Some (
+      CcsAcromagatInstance .mk (
+        _get_actors (m) ) (
+        _get_resources (m) ) (
+        _get_outcome (m) ) (
+        _get_actor_children_map (m) ) (
+        _get_actor_adults_map (m) ) (
+        _get_actor_income_map (m) ) (
+        _get_resource_value_map (m) ) (
+        _get_pipelines (m)
+      )
+    )
+
+  def build (s : Seq [Seq [Tuple2 [String, Seq [Tuple2 [String, String] ] ] ] ] )
+      : Option [CcsAcromagatInstance] =
+    s match  {
+      case a +: __soda__as => _build_from_map (a .toMap)
+      case otherwise => None
+    }
+
+  def from_yaml (reader : Reader) : Option [CcsAcromagatInstance] =
+     build (YamlParser .mk .parse (reader) )
+
+}
+
+case class CcsAcromagatInstanceBuilder_ () extends CcsAcromagatInstanceBuilder
+
+object CcsAcromagatInstanceBuilder {
+  def mk : CcsAcromagatInstanceBuilder =
+    CcsAcromagatInstanceBuilder_ ()
+}
+
+
 trait CcsNoSubsidyPipeline
+  extends
+    CcsPipeline
 {
 
   def   sigma : Measure => Measure => Measure
@@ -69,6 +247,9 @@ trait CcsNoSubsidyPipeline
       )
     )
 
+  lazy val runner : TileMessage [Boolean] => TileMessage [Boolean] =
+     message => apply (message)
+
 }
 
 case class CcsNoSubsidyPipeline_ (sigma : Measure => Measure => Measure, p_utility : Resource => Measure) extends CcsNoSubsidyPipeline
@@ -96,6 +277,8 @@ import Soda.tiles.fairness.tile.ZipTile
  */
 
 trait CcsPerChildPipeline
+  extends
+    CcsPipeline
 {
 
   def   sigma : Measure => Measure => Measure
@@ -156,6 +339,9 @@ trait CcsPerChildPipeline
       )
     )
 
+  lazy val runner : TileMessage [Boolean] => TileMessage [Boolean] =
+     message => apply (message)
+
 }
 
 case class CcsPerChildPipeline_ (sigma : Measure => Measure => Measure, children : Actor => Measure, utility : Resource => Measure) extends CcsPerChildPipeline
@@ -167,6 +353,8 @@ object CcsPerChildPipeline {
 
 
 trait CcsPerFamilyPipeline
+  extends
+    CcsPipeline
 {
 
   def   sigma : Measure => Measure => Measure
@@ -185,6 +373,9 @@ trait CcsPerFamilyPipeline
       )
     )
 
+  lazy val runner : TileMessage [Boolean] => TileMessage [Boolean] =
+     message => apply (message)
+
 }
 
 case class CcsPerFamilyPipeline_ (sigma : Measure => Measure => Measure, p_utility : Resource => Measure) extends CcsPerFamilyPipeline
@@ -195,7 +386,59 @@ object CcsPerFamilyPipeline {
 }
 
 
+trait CcsPipeline
+{
+
+  def   runner : TileMessage [Boolean] => TileMessage [Boolean]
+
+  def run (initial : TileMessage [Boolean] ) : TileMessage [Boolean] =
+    runner (initial)
+
+}
+
+case class CcsPipeline_ (runner : TileMessage [Boolean] => TileMessage [Boolean]) extends CcsPipeline
+
+object CcsPipeline {
+  def mk (runner : TileMessage [Boolean] => TileMessage [Boolean]) : CcsPipeline =
+    CcsPipeline_ (runner)
+}
+
+
+trait CcsPipelineFactory
+{
+
+
+
+  def get_pipeline (name : String) (m : CcsAcromagatInstance) : Option [CcsPipeline] =
+    if ( name == "CcsNoSubsidyPipeline"
+    ) Some (
+      CcsNoSubsidyPipeline .mk (m .measure_sum) (m .resource_value) )
+    else if ( name == "CcsPerChildPipeline"
+    ) Some (
+      CcsPerChildPipeline .mk (m .measure_sum) (m .actor_children) (m .resource_value) )
+    else if ( name == "CcsPerFamilyPipeline"
+    ) Some (
+      CcsPerFamilyPipeline .mk (m .measure_sum) (m .resource_value) )
+    else if ( name == "CcsSingleGuardianPipeline"
+    ) Some (
+      CcsSingleGuardianPipeline .mk (m .measure_sum) (m .actor_adults) (m .resource_value) )
+    else None
+
+}
+
+case class CcsPipelineFactory_ () extends CcsPipelineFactory
+
+object CcsPipelineFactory {
+  def mk : CcsPipelineFactory =
+    CcsPipelineFactory_ ()
+}
+
+
+
+
 trait CcsSingleGuardianPipeline
+  extends
+    CcsPipeline
 {
 
   def   sigma : Measure => Measure => Measure
@@ -268,6 +511,9 @@ trait CcsSingleGuardianPipeline
       )
     )
 
+  lazy val runner : TileMessage [Boolean] => TileMessage [Boolean] =
+     message => apply (message)
+
 }
 
 case class CcsSingleGuardianPipeline_ (sigma : Measure => Measure => Measure, p_utility : Resource => Measure, adults : Actor => Measure) extends CcsSingleGuardianPipeline
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
index 0126c67..3cf34fa 100644
--- a/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
+++ b/examples/src/main/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
@@ -28,14 +28,12 @@ import
   soda.tiles.fairness.tile.NeededPTile
   soda.tiles.fairness.tile.PredictionPTile
   soda.tiles.fairness.tile.ReceivedSigmaPTile
-  soda.tiles.fairness.tile.ResultPTile
   soda.tiles.fairness.tile.SigmaTile
   soda.tiles.fairness.tile.UnzipPairFstTile
   soda.tiles.fairness.tile.UnzipPairSndTile
   soda.tiles.fairness.tile.UnzipTripleFstTile
   soda.tiles.fairness.tile.UnzipTripleSndTile
   soda.tiles.fairness.tile.UnzipTripleTrdTile
-  soda.tiles.fairness.tile.WithPTile
   soda.tiles.fairness.tile.ZipTile
   soda.tiles.fairness.pipeline.EqualityPipeline
   soda.tiles.fairness.pipeline.EquityPipeline
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/main/Main.soda b/examples/src/main/scala/soda/tiles/fairness/example/main/Main.soda
new file mode 100644
index 0000000..bee8a3d
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/main/Main.soda
@@ -0,0 +1,85 @@
+
+/**
+ * This is the main entry point.
+ */
+
+class Main
+
+  abstract
+
+  help = "" +
+    "\nTiles" +
+    "\n" +
+    "\nCopyright 2023--2024 Julian Alfredo Mendez" +
+    "\n" +
+    "\nhttps://github.com/julianmendez/tiles" +
+    "\n" +
+    "\nTiles is a framework to create formal configurations of constraints." +
+    "\nThis is an example of a Child Care Subsidy scenario." +
+    "\nThis application outputs the results to the standard output." +
+    "\n" +
+    "\nUsage:" +
+    "\n" +
+    "\n  tiles INPUT_FILE" +
+    "\n" +
+    "\nwhere INPUT_FILE is the name of a YAML file." +
+    "\n" +
+    "\nExceptions:" +
+    "\n" +
+    "\n  if the input file name is invalid, this throws an exception" +
+    "\n" +
+    "\n  if the input file is unreadable, this throws an exception" +
+    "\n" +
+    "\n  if the input file has an invalid format, this output an error as output" +
+    "\n" +
+    "\n  if the input file has some invalid value, this output an error as output" +
+    "\n"
+
+  error_invalid_pipeline = "" +
+    "ERROR: Invalid pipeline name. " +
+    "The factory of known pipelines does not contain the provided pipeline name"
+
+  error_invalid_input_file = "" +
+    "ERROR: Invalid input file. " +
+    "The input file needs to be a YAML file with a specific structure. " +
+    "Common errors include wrong indentation, an extra, missing or misplaced colon (':'), " +
+    "and a misspelled attribute name."
+
+  _execute_and_report_pipeline (name : String) (input : CcsAcromagatInstance) : String =
+    CcsPipelineFactory .mk
+      .get_pipeline (name) (input)
+      .map(lambda pipeline -->
+        name + ": " +
+        pipeline .run(input .initial_message)
+          .contents
+          .toString
+      )
+      .getOrElse(error_invalid_pipeline + " '" + name + "'.")
+
+  _execute_and_report_with (input : CcsAcromagatInstance) : String =
+    input
+      .pipelines
+      .map (lambda name -->
+        _execute_and_report_pipeline (name) (input)
+      )
+      .mkString ("\n")
+
+  execute_and_report (input : Option [CcsAcromagatInstance] ) : String =
+    match input
+      case Some (instance) ==> _execute_and_report_with (instance)
+      case otherwise ==> error_invalid_input_file
+
+  execute (arguments : Seq [String] ) : String =
+    if arguments .length == 0
+    then help
+    else
+      execute_and_report (
+        CcsAcromagatInstanceBuilder .mk
+          .from_yaml (FileReader (arguments .head) )
+      )
+
+  main (arguments : Array [String] ) : Unit =
+    println (execute (arguments .toSeq) )
+
+end
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/main/Package.scala b/examples/src/main/scala/soda/tiles/fairness/example/main/Package.scala
new file mode 100644
index 0000000..4f25122
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/main/Package.scala
@@ -0,0 +1,114 @@
+package soda.tiles.fairness.example.main
+
+/*
+ * This package is for the main class.
+ * This is the entry point when the application is executed from a terminal.
+ */
+
+import   soda.tiles.fairness.example.childcaresubsidy.CcsAcromagatInstance
+import   soda.tiles.fairness.example.childcaresubsidy.CcsAcromagatInstanceBuilder
+import   soda.tiles.fairness.example.childcaresubsidy.CcsPipelineFactory
+import   java.io.FileReader
+
+
+
+
+
+/**
+ * This is the main entry point.
+ */
+
+trait Main
+{
+
+
+
+  lazy val help = "" +
+    "\nTiles" +
+    "\n" +
+    "\nCopyright 2023--2024 Julian Alfredo Mendez" +
+    "\n" +
+    "\nhttps://github.com/julianmendez/tiles" +
+    "\n" +
+    "\nTiles is a framework to create formal configurations of constraints." +
+    "\nThis is an example of a Child Care Subsidy scenario." +
+    "\nThis application outputs the results to the standard output." +
+    "\n" +
+    "\nUsage:" +
+    "\n" +
+    "\n  tiles INPUT_FILE" +
+    "\n" +
+    "\nwhere INPUT_FILE is the name of a YAML file." +
+    "\n" +
+    "\nExceptions:" +
+    "\n" +
+    "\n  if the input file name is invalid, this throws an exception" +
+    "\n" +
+    "\n  if the input file is unreadable, this throws an exception" +
+    "\n" +
+    "\n  if the input file has an invalid format, this output an error as output" +
+    "\n" +
+    "\n  if the input file has some invalid value, this output an error as output" +
+    "\n"
+
+  lazy val error_invalid_pipeline = "" +
+    "ERROR: Invalid pipeline name. " +
+    "The factory of known pipelines does not contain the provided pipeline name"
+
+  lazy val error_invalid_input_file = "" +
+    "ERROR: Invalid input file. " +
+    "The input file needs to be a YAML file with a specific structure. " +
+    "Common errors include wrong indentation, an extra, missing or misplaced colon (':'), " +
+    "and a misspelled attribute name."
+
+  private def _execute_and_report_pipeline (name : String) (input : CcsAcromagatInstance) : String =
+    CcsPipelineFactory .mk
+      .get_pipeline (name) (input)
+      .map( pipeline =>
+        name + ": " +
+        pipeline .run(input .initial_message)
+          .contents
+          .toString
+      )
+      .getOrElse(error_invalid_pipeline + " '" + name + "'.")
+
+  private def _execute_and_report_with (input : CcsAcromagatInstance) : String =
+    input
+      .pipelines
+      .map ( name =>
+        _execute_and_report_pipeline (name) (input)
+      )
+      .mkString ("\n")
+
+  def execute_and_report (input : Option [CcsAcromagatInstance] ) : String =
+    input match  {
+      case Some (instance) => _execute_and_report_with (instance)
+      case otherwise => error_invalid_input_file
+    }
+
+  def execute (arguments : Seq [String] ) : String =
+    if ( arguments .length == 0
+    ) help
+    else
+      execute_and_report (
+        CcsAcromagatInstanceBuilder .mk
+          .from_yaml (FileReader (arguments .head) )
+      )
+
+  def main (arguments : Array [String] ) : Unit =
+    println (execute (arguments .toSeq) )
+
+}
+
+object EntryPoint {
+  def main (args: Array [String]): Unit = Main_ ().main (args)
+}
+
+
+case class Main_ () extends Main
+
+object Main {
+  def mk : Main =
+    Main_ ()
+}
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/main/Package.soda b/examples/src/main/scala/soda/tiles/fairness/example/main/Package.soda
new file mode 100644
index 0000000..0098d62
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/main/Package.soda
@@ -0,0 +1,13 @@
+package soda.tiles.fairness.example.main
+
+/*
+ * This package is for the main class.
+ * This is the entry point when the application is executed from a terminal.
+ */
+
+import
+  soda.tiles.fairness.example.childcaresubsidy.CcsAcromagatInstance
+  soda.tiles.fairness.example.childcaresubsidy.CcsAcromagatInstanceBuilder
+  soda.tiles.fairness.example.childcaresubsidy.CcsPipelineFactory
+  java.io.FileReader
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/parser/GenericYamlParser.soda b/examples/src/main/scala/soda/tiles/fairness/example/parser/GenericYamlParser.soda
new file mode 100644
index 0000000..c138d72
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/parser/GenericYamlParser.soda
@@ -0,0 +1,65 @@
+
+/**
+ * This is a generic YAML parser.
+ * This parser converts all the Integer objects into String objects.
+ */
+
+class GenericYamlParser
+
+  import
+    org.snakeyaml.engine.v2.api.Load
+    org.snakeyaml.engine.v2.api.LoadSettings
+    java.io.Reader
+    scala.jdk.CollectionConverters.CollectionHasAsScala
+    scala.jdk.CollectionConverters.IteratorHasAsScala
+    scala.jdk.CollectionConverters.MapHasAsScala
+
+  /**
+   * Converts Java data structures into immutable Scala data structures .
+   * Integer objects are converted into String objects .
+   *
+   * @param obj object
+   * @return the object with immutable Scala data structures
+   */
+
+  _rec_as_scala (obj : Any) : Option [Any] =
+    match obj
+      case x : String ==> Some (x)
+      case x : Integer ==> Some (x .toString)
+      case x : Tuple2 [Any] [Any] ==>
+        _rec_as_scala (x ._1)
+          .flatMap (lambda a -->
+            _rec_as_scala (x ._2)
+              .map (lambda b -->
+                Tuple2 (a , b)
+              )
+          )
+      case x : java.util.Map [Any] [Any] ==>
+        Some (x .asScala
+          .flatMap (lambda elem --> _rec_as_scala (elem) )
+          .toSeq
+        )
+      case x : java.util.Collection [Any] ==>
+        Some (x .asScala
+          .flatMap (lambda elem --> _rec_as_scala (elem) )
+          .toSeq
+        )
+      case otherwise ==> None
+
+  /**
+   * Parses a YAML document.
+   *
+   * @param reader reader
+   * @return a structure with the YAML document.
+   */
+
+  parse (reader : Reader) : Seq [Any] =
+    ( @new Load (LoadSettings .builder () .build () ) )
+      .loadAllFromReader (reader)
+      .iterator ()
+      .asScala
+      .toSeq
+      .flatMap (lambda x --> _rec_as_scala (x) )
+
+end
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.scala b/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.scala
new file mode 100644
index 0000000..407e9c4
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.scala
@@ -0,0 +1,147 @@
+package soda.tiles.fairness.example.parser
+
+/**
+ * This is a generic YAML parser.
+ * This parser converts all the Integer objects into String objects.
+ */
+
+trait GenericYamlParser
+{
+
+  import   org.snakeyaml.engine.v2.api.Load
+  import   org.snakeyaml.engine.v2.api.LoadSettings
+  import   java.io.Reader
+  import   scala.jdk.CollectionConverters.CollectionHasAsScala
+  import   scala.jdk.CollectionConverters.IteratorHasAsScala
+  import   scala.jdk.CollectionConverters.MapHasAsScala
+
+  /**
+   * Converts Java data structures into immutable Scala data structures .
+   * Integer objects are converted into String objects .
+   *
+   * @param obj object
+   * @return the object with immutable Scala data structures
+   */
+
+  private def _rec_as_scala (obj : Any) : Option [Any] =
+    obj match  {
+      case x : String => Some (x)
+      case x : Integer => Some (x .toString)
+      case x : Tuple2 [Any, Any] =>
+        _rec_as_scala (x ._1)
+          .flatMap ( a =>
+            _rec_as_scala (x ._2)
+              .map ( b =>
+                Tuple2 (a , b)
+              )
+          )
+      case x : java.util.Map [Any, Any] =>
+        Some (x .asScala
+          .flatMap ( elem => _rec_as_scala (elem) )
+          .toSeq
+        )
+      case x : java.util.Collection [Any] =>
+        Some (x .asScala
+          .flatMap ( elem => _rec_as_scala (elem) )
+          .toSeq
+        )
+      case otherwise => None
+    }
+
+  /**
+   * Parses a YAML document.
+   *
+   * @param reader reader
+   * @return a structure with the YAML document.
+   */
+
+  def parse (reader : Reader) : Seq [Any] =
+    ( new Load (LoadSettings .builder () .build () ) )
+      .loadAllFromReader (reader)
+      .iterator ()
+      .asScala
+      .toSeq
+      .flatMap ( x => _rec_as_scala (x) )
+
+}
+
+case class GenericYamlParser_ () extends GenericYamlParser
+
+object GenericYamlParser {
+  def mk : GenericYamlParser =
+    GenericYamlParser_ ()
+}
+
+
+/**
+ * Parser for YAML format.
+ */
+
+trait YamlParser
+{
+
+  import   java.io.BufferedReader
+  import   java.io.Reader
+
+  def parse_string (part : Any) : Option [String] =
+    part match  {
+      case p : String => Some (p)
+      case otherwise => None
+    }
+
+  def parse_key_value (part : Any) : Option [Tuple2 [String, String] ] =
+    part match  {
+      case p : Tuple2 [Any, Any] =>
+        parse_string (p ._1)
+          .flatMap ( a =>
+            parse_string (p ._2)
+              .map ( b =>
+                Tuple2 (a , b)
+              )
+          )
+      case otherwise => None
+    }
+
+  def parse_seq_of_pairs (part : Any) : Option [Seq [Tuple2 [String, String] ] ] =
+    part match  {
+      case p : Seq [Any] =>
+        Some (p .flatMap ( e => parse_key_value (e)) )
+      case otherwise => None
+    }
+
+  def parse_record (part : Any) : Option [Tuple2 [String, Seq [Tuple2 [String, String] ] ] ] =
+    part match  {
+      case p : Tuple2 [Any, Any] =>
+        parse_string (p ._1)
+          .flatMap ( a =>
+            parse_seq_of_pairs (p ._2)
+              .map ( b =>
+                Tuple2 (a , b)
+              )
+          )
+      case otherwise => None
+    }
+
+  def get_as_seq (elem : Any) : Seq [Tuple2 [String, Seq [Tuple2 [String, String] ] ] ] =
+    elem match  {
+      case e : Seq [Any] => e .flatMap ( x => parse_record (x) )
+      case otherwise => Seq ()
+    }
+
+  def parse_record_list (parts : Seq [Any] )
+      : Seq [Seq [Tuple2 [String, Seq [Tuple2 [String, String] ] ] ] ] =
+    parts .map ( elem => get_as_seq (elem) )
+
+  def parse (reader : Reader)
+      : Seq [Seq [Tuple2 [String, Seq [Tuple2 [String, String] ] ] ] ] =
+    parse_record_list (GenericYamlParser .mk .parse (reader) )
+
+}
+
+case class YamlParser_ () extends YamlParser
+
+object YamlParser {
+  def mk : YamlParser =
+    YamlParser_ ()
+}
+
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.soda b/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.soda
new file mode 100644
index 0000000..ef80d7d
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/parser/Package.soda
@@ -0,0 +1 @@
+package soda.tiles.fairness.example.parser
diff --git a/examples/src/main/scala/soda/tiles/fairness/example/parser/YamlParser.soda b/examples/src/main/scala/soda/tiles/fairness/example/parser/YamlParser.soda
new file mode 100644
index 0000000..427abae
--- /dev/null
+++ b/examples/src/main/scala/soda/tiles/fairness/example/parser/YamlParser.soda
@@ -0,0 +1,61 @@
+
+/**
+ * Parser for YAML format.
+ */
+
+class YamlParser
+
+  import
+    java.io.BufferedReader
+    java.io.Reader
+
+  parse_string (part : Any) : Option [String] =
+    match part
+      case p : String ==> Some (p)
+      case otherwise ==> None
+
+  parse_key_value (part : Any) : Option [Tuple2 [String] [String] ] =
+    match part
+      case p : Tuple2 [Any] [Any] ==>
+        parse_string (p ._1)
+          .flatMap (lambda a -->
+            parse_string (p ._2)
+              .map (lambda b -->
+                Tuple2 (a , b)
+              )
+          )
+      case otherwise ==> None
+
+  parse_seq_of_pairs (part : Any) : Option [Seq [Tuple2 [String] [String] ] ] =
+    match part
+      case p : Seq [Any] ==>
+        Some (p .flatMap (lambda e --> parse_key_value (e)) )
+      case otherwise ==> None
+
+  parse_record (part : Any) : Option [Tuple2 [String] [Seq [Tuple2 [String] [String] ] ] ] =
+    match part
+      case p : Tuple2 [Any] [Any] ==>
+        parse_string (p ._1)
+          .flatMap (lambda a -->
+            parse_seq_of_pairs (p ._2)
+              .map (lambda b -->
+                Tuple2 (a , b)
+              )
+          )
+      case otherwise ==> None
+
+  get_as_seq (elem : Any) : Seq [Tuple2 [String] [Seq [Tuple2 [String] [String] ] ] ] =
+    match elem
+      case e : Seq [Any] ==> e .flatMap (lambda x --> parse_record (x) )
+      case otherwise ==> Seq ()
+
+  parse_record_list (parts : Seq [Any] )
+      : Seq [Seq [Tuple2 [String] [Seq [Tuple2 [String] [String] ] ] ] ] =
+    parts .map (lambda elem --> get_as_seq (elem) )
+
+  parse (reader : Reader)
+      : Seq [Seq [Tuple2 [String] [Seq [Tuple2 [String] [String] ] ] ] ] =
+    parse_record_list (GenericYamlParser .mk .parse (reader) )
+
+end
+
diff --git a/examples/src/test/resources/example/example0.yaml b/examples/src/test/resources/example/example0.yaml
new file mode 100644
index 0000000..37a51a1
--- /dev/null
+++ b/examples/src/test/resources/example/example0.yaml
@@ -0,0 +1,57 @@
+---
+# Tiles (https://julianmendez.github.io/tiles/)
+# This is an instance for a Child Care Subsidy pipeline.
+# This is a YAML file, and requires special attention regarding indentation and use of
+# colon (':').
+
+# Actors for this scenario
+actors:
+  family A: .
+  family B: .
+  family C: .
+
+# Resources for this scenario
+resources:
+  no subsidy 0: .
+  subsidy 100: .
+  subsidy 200: .
+  subsidy 300: .
+
+# Number of children in each family.
+actor_children:
+  family A: 2
+  family B: 3
+  family C: 1
+
+# Number of guardians in each family.
+actor_adults:
+  family A: 2
+  family B: 1
+  family C: 2
+
+# Total income in each family.
+actor_income:
+  family A: 5000
+  family B: 3000
+  family C: 800
+
+# The value of each resource.
+resource_value:
+  no subsidy 0: 0
+  subsidy 100: 100
+  subsidy 200: 200
+  subsidy 300: 300
+
+# The resources received by the family, checked by the pipeline.
+outcome:
+  family A: subsidy 200
+  family B: subsidy 300
+  family C: subsidy 100
+
+# Pipelines that can test the provided data.
+pipelines:
+  CcsNoSubsidyPipeline: .
+  CcsPerChildPipeline: .
+  CcsPerFamilyPipeline: .
+  CcsSingleGuardianPipeline: .
+
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala b/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
index 9419f10..89783bc 100644
--- a/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
+++ b/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.scala
@@ -30,14 +30,12 @@ import   soda.tiles.fairness.tile.MapPTile
 import   soda.tiles.fairness.tile.NeededPTile
 import   soda.tiles.fairness.tile.PredictionPTile
 import   soda.tiles.fairness.tile.ReceivedSigmaPTile
-import   soda.tiles.fairness.tile.ResultPTile
 import   soda.tiles.fairness.tile.SigmaTile
 import   soda.tiles.fairness.tile.UnzipPairFstTile
 import   soda.tiles.fairness.tile.UnzipPairSndTile
 import   soda.tiles.fairness.tile.UnzipTripleFstTile
 import   soda.tiles.fairness.tile.UnzipTripleSndTile
 import   soda.tiles.fairness.tile.UnzipTripleTrdTile
-import   soda.tiles.fairness.tile.WithPTile
 import   soda.tiles.fairness.tile.ZipTile
 import   soda.tiles.fairness.pipeline.EqualityPipeline
 import   soda.tiles.fairness.pipeline.EquityPipeline
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda b/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
index ff2054b..2ae9f54 100644
--- a/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
+++ b/examples/src/test/scala/soda/tiles/fairness/example/childcaresubsidy/Package.soda
@@ -31,14 +31,12 @@ import
   soda.tiles.fairness.tile.NeededPTile
   soda.tiles.fairness.tile.PredictionPTile
   soda.tiles.fairness.tile.ReceivedSigmaPTile
-  soda.tiles.fairness.tile.ResultPTile
   soda.tiles.fairness.tile.SigmaTile
   soda.tiles.fairness.tile.UnzipPairFstTile
   soda.tiles.fairness.tile.UnzipPairSndTile
   soda.tiles.fairness.tile.UnzipTripleFstTile
   soda.tiles.fairness.tile.UnzipTripleSndTile
   soda.tiles.fairness.tile.UnzipTripleTrdTile
-  soda.tiles.fairness.tile.WithPTile
   soda.tiles.fairness.tile.ZipTile
   soda.tiles.fairness.pipeline.EqualityPipeline
   soda.tiles.fairness.pipeline.EquityPipeline
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/parser/Example0Instance.soda b/examples/src/test/scala/soda/tiles/fairness/example/parser/Example0Instance.soda
new file mode 100644
index 0000000..ec6d5f7
--- /dev/null
+++ b/examples/src/test/scala/soda/tiles/fairness/example/parser/Example0Instance.soda
@@ -0,0 +1,71 @@
+
+class Example0Instance
+
+  abstract
+
+  instance = Seq (
+    Seq (
+      Tuple2 ("actors" ,
+        Seq (
+          Tuple2 ("family A" , ".") ,
+          Tuple2 ("family B" , ".") ,
+          Tuple2 ("family C" , ".")
+        )
+      ) ,
+      Tuple2 ("resources" ,
+        Seq (
+          Tuple2 ("no subsidy 0" , ".") ,
+          Tuple2 ("subsidy 100" , ".") ,
+          Tuple2 ("subsidy 200" , ".") ,
+          Tuple2 ("subsidy 300" , ".")
+        )
+      ) ,
+      Tuple2 ("actor_children" ,
+        Seq (
+          Tuple2 ("family A" , "2") ,
+          Tuple2 ("family B" , "3") ,
+          Tuple2 ("family C" , "1")
+        )
+      ) ,
+      Tuple2 ("actor_adults" ,
+        Seq (
+          Tuple2 ("family A" , "2") ,
+          Tuple2 ("family B" , "1") ,
+          Tuple2 ("family C" , "2")
+        )
+      ) ,
+      Tuple2 ("actor_income" ,
+        Seq (
+          Tuple2 ("family A" , "5000") ,
+          Tuple2 ("family B" , "3000") ,
+          Tuple2 ("family C" , "800")
+        )
+      ) ,
+      Tuple2 ("resource_value" ,
+        Seq (
+          Tuple2 ("no subsidy 0" , "0") ,
+          Tuple2 ("subsidy 100" , "100") ,
+          Tuple2 ("subsidy 200" , "200") ,
+          Tuple2 ("subsidy 300" , "300")
+        )
+      ) ,
+      Tuple2 ("outcome" ,
+        Seq (
+          Tuple2 ("family A" , "subsidy 200") ,
+          Tuple2 ("family B" , "subsidy 300") ,
+          Tuple2 ("family C" , "subsidy 100") ,
+        )
+      ) ,
+      Tuple2 ("pipelines" ,
+        Seq (
+          Tuple2 ("CcsNoSubsidyPipeline" , ".") ,
+          Tuple2 ("CcsPerChildPipeline" , ".") ,
+          Tuple2 ("CcsPerFamilyPipeline" , ".") ,
+          Tuple2 ("CcsSingleGuardianPipeline" , ".")
+        )
+      )
+    )
+  )
+
+end
+
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.scala b/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.scala
new file mode 100644
index 0000000..9b18b13
--- /dev/null
+++ b/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.scala
@@ -0,0 +1,124 @@
+package soda.tiles.fairness.example.parser
+
+import   org.scalatest.funsuite.AnyFunSuite
+import   org.scalatest.Assertion
+import   java.nio.file.Files
+import   java.nio.file.Paths
+import   java.io.StringReader
+
+
+
+
+
+trait Example0Instance
+{
+
+
+
+  lazy val instance = Seq (
+    Seq (
+      Tuple2 ("actors" ,
+        Seq (
+          Tuple2 ("family A" , ".") ,
+          Tuple2 ("family B" , ".") ,
+          Tuple2 ("family C" , ".")
+        )
+      ) ,
+      Tuple2 ("resources" ,
+        Seq (
+          Tuple2 ("no subsidy 0" , ".") ,
+          Tuple2 ("subsidy 100" , ".") ,
+          Tuple2 ("subsidy 200" , ".") ,
+          Tuple2 ("subsidy 300" , ".")
+        )
+      ) ,
+      Tuple2 ("actor_children" ,
+        Seq (
+          Tuple2 ("family A" , "2") ,
+          Tuple2 ("family B" , "3") ,
+          Tuple2 ("family C" , "1")
+        )
+      ) ,
+      Tuple2 ("actor_adults" ,
+        Seq (
+          Tuple2 ("family A" , "2") ,
+          Tuple2 ("family B" , "1") ,
+          Tuple2 ("family C" , "2")
+        )
+      ) ,
+      Tuple2 ("actor_income" ,
+        Seq (
+          Tuple2 ("family A" , "5000") ,
+          Tuple2 ("family B" , "3000") ,
+          Tuple2 ("family C" , "800")
+        )
+      ) ,
+      Tuple2 ("resource_value" ,
+        Seq (
+          Tuple2 ("no subsidy 0" , "0") ,
+          Tuple2 ("subsidy 100" , "100") ,
+          Tuple2 ("subsidy 200" , "200") ,
+          Tuple2 ("subsidy 300" , "300")
+        )
+      ) ,
+      Tuple2 ("outcome" ,
+        Seq (
+          Tuple2 ("family A" , "subsidy 200") ,
+          Tuple2 ("family B" , "subsidy 300") ,
+          Tuple2 ("family C" , "subsidy 100") ,
+        )
+      ) ,
+      Tuple2 ("pipelines" ,
+        Seq (
+          Tuple2 ("CcsNoSubsidyPipeline" , ".") ,
+          Tuple2 ("CcsPerChildPipeline" , ".") ,
+          Tuple2 ("CcsPerFamilyPipeline" , ".") ,
+          Tuple2 ("CcsSingleGuardianPipeline" , ".")
+        )
+      )
+    )
+  )
+
+}
+
+case class Example0Instance_ () extends Example0Instance
+
+object Example0Instance {
+  def mk : Example0Instance =
+    Example0Instance_ ()
+}
+
+
+case class YamlParserSpec ()
+  extends
+    AnyFunSuite
+{
+
+  def check [A ] (obtained : A) (expected : A) : org.scalatest.compatible.Assertion =
+    assert (obtained == expected)
+
+  def read_file (file_name : String) : String =
+    new String (
+      Files .readAllBytes (
+        Paths .get (getClass .getResource (file_name) .toURI)
+      )
+    )
+
+  lazy val parser = YamlParser .mk
+
+  lazy val example0_name = "/example/example0.yaml"
+
+  lazy val example0_contents = read_file (example0_name)
+
+  lazy val example0_instance = Example0Instance .mk .instance
+
+  test ("read example 0") (
+    check (
+      obtained = parser .parse ( new StringReader (example0_contents) )
+    ) (
+      expected = example0_instance
+    )
+  )
+
+}
+
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.soda b/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.soda
new file mode 100644
index 0000000..996cc27
--- /dev/null
+++ b/examples/src/test/scala/soda/tiles/fairness/example/parser/Package.soda
@@ -0,0 +1,9 @@
+package soda.tiles.fairness.example.parser
+
+import
+  org.scalatest.funsuite.AnyFunSuite
+  org.scalatest.Assertion
+  java.nio.file.Files
+  java.nio.file.Paths
+  java.io.StringReader
+
diff --git a/examples/src/test/scala/soda/tiles/fairness/example/parser/YamlParserSpec.soda b/examples/src/test/scala/soda/tiles/fairness/example/parser/YamlParserSpec.soda
new file mode 100644
index 0000000..50e1ce8
--- /dev/null
+++ b/examples/src/test/scala/soda/tiles/fairness/example/parser/YamlParserSpec.soda
@@ -0,0 +1,33 @@
+
+class YamlParserSpec ()
+  extends
+    AnyFunSuite
+
+  check [A : Type] (obtained : A) (expected : A) : org.scalatest.compatible.Assertion =
+    assert (obtained == expected)
+
+
+  read_file (file_name : String) : String =
+    @new String (
+      Files .readAllBytes (
+        Paths .get (getClass .getResource (file_name) .toURI)
+      )
+    )
+
+  parser = YamlParser .mk
+
+  example0_name = "/example/example0.yaml"
+
+  example0_contents = read_file (example0_name)
+
+  example0_instance = Example0Instance .mk .instance
+
+  test ("read example 0") (
+    check (
+      obtained := parser .parse ( @new StringReader (example0_contents) )
+    ) (
+      expected := example0_instance
+    )
+  )
+
+end
diff --git a/makeall.sh b/makeall.sh
new file mode 100644
index 0000000..75e6ba6
--- /dev/null
+++ b/makeall.sh
@@ -0,0 +1,18 @@
+#/bin/bash
+
+#
+# This script builds the binary file.
+# It requires `sbt` [https://www.scala-sbt.org/].
+#
+
+sbt scalaVersion sbtVersion version clean compile test package assembly
+
+scalaVersion="3.4.0"
+binaryFile="tiles"
+executableStub="exec java -jar \$0 \"\$@\" ; exit"
+jarFile="target/scala-${scalaVersion}/${binaryFile}-*.jar"
+
+echo ${executableStub} >${binaryFile}
+cat ${jarFile} >>${binaryFile}
+chmod u+x ${binaryFile}
+