Editing ALGORITHM II (section)

====  Presupposition Verification ====
: ''' 5.4.''' Presuppositions undergo the following checks:
:: '''A.''' - Bars t.1p, t.2p, t.3p must follow each other.
:: '''B.''' - The distance in levels between t.1 and t.2 (hereinafter rank 12) must be at least the value of the Minimum Distance between t.1 and t.2 Levels of the Presupposition, which is set in the Calculation Parameters, from the distance between t.4 and t.5 levels of the EAM model(this is rank 45).

:: If all checks are successful, the Presupposition is found. If there are no unchecked t.1p left, the algorithm proceeds to Step 6.

:: If there are no unchecked t.1p left, the algorithm proceeds to Step 6.