Nevertheless, as we have seen in the examples discussed in this paper, the fact that a paratactic relation holds between spans does not imply that there exists a satisfactionprecedence relation at the intentional level between those spans.
for satisfaction-precedence relations, we will have only one axiom, that shown in (10), below.