Concretely, if for some literal l j , A diagram (l i ) < , then GEOS disregards the text score of l i by replacing A text (l j ) with A diagram (l j ).
even if the diagram score of a literal is very high, it is still possible that the literal is false, because many diagrams are not drawn to scale.