Note added in proof: The symbol X ⟹QL Ycan be used to mean three meanings

(i): Y is closer to Axioms of QL than X.

(ii): Y is closer to the linguistic Copenhagen interpretation than X.

(iii): Comprehensive judgment considering both (i) and (ii)

In this paper, I mainly used it in the sense of (i). If (ii) is assumed, then the majority of people (myself included) might agree to the following.

Thomas Aquinas ⟹QL Descartes

In the case of (iii), opinions will be divided depending on the weight of (i) and (ii).

For further discussion, see my additional reference (Ishikawa; 2022) .