g the conditions and constraints as a given part of the model.
To achieve this, you would create a ProbEvidenceAlgorithm with no evidence to compute the probability of the conditions and constraints. This probability becomes the
denominator in a subsequent algorithm that takes the named evidence whose probability you want to compute.
Several shortcut ways of achieving this are provided.
</p></div><div class="toggleContainer block">
          <span class="toggle">
            Linear Supertypes
          </sp