withExample

fun withExample(example: <Error class: unknown class><PropositionsResult>): LlmPropositionExtractor