withExamples

fun withExamples(examples: List<<Error class: unknown class><PropositionsResult>>): LlmPropositionExtractor