How a Proposition flows from an abridged VariantPathogenicityEvidenceLine model (a subclass of the distinct EvidenceLine class), through a concrete data example, to its plain-language meaning. Proposition-related content is highlighted throughout.