ing(ReasoningPid, ModalType, Proposition)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#multi_level_reason/3" data-no-tooltip="" translate="no">multi_level_reason(ReasoningPid, Problem, Levels)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#probabilistic_reasoning/3" data-no-tooltip="" translate="no">probabilistic_reasoning(ReasoningPid, ProbabilisticData, InferenceTyp