Proposition
data class PropositionView(val proposition: PropositionNode, val mentions: List<Mention> = emptyList())
GraphView composing a PropositionNode with its entity Mentions via HAS_MENTION.
This is the type the repository saves and loads: loadAll, loadNearest, and the quantified mentions.any { ... } / none { ... } predicates all operate over this view.