ry-signature">
        <a href="#fact_checking/3" data-no-tooltip="" translate="no">fact_checking(EventType, OldState, Data)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#get_proof_tree/1" data-no-tooltip="" translate="no">get_proof_tree(Pid)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#goal_decomposition/3" data-no-tooltip="" translate="no">goal_decomposition(EventT