The contextual-logic structure of distinctive judgements