Type Alias PrologExtractionResult

PrologExtractionResult:
    | { error?: undefined; fact: string; type: ClaimType }
    | { error: string; fact?: undefined; type?: undefined }