Complex sentence: The relation between these latter two ordered pairs, informally a "left-leaning diagonal", is determined by the satisfaction of the single cancellation axiom, as are all such relations upon "Q".
Split into simpler sentences: The relation between these latter two ordered pairs is informally termed a "left-leaning diagonal". Satisfaction of the single cancellation axiom determines all left leaning diagonal relations upon "Q".