# Paraphrase-eliciting warrant-chain fixture (2026-05-10, v2).
#
# v1 of this fixture used natural-language wrappers ("How would you
# use the Pigeonhole Principle to ..."). Pre-bench probe found only
# 1/10 questions hit chain — the wrapper words ("how would you use",
# "in your own words") match Wikipedia / general-knowledge articles
# better than concise claim-pack chunks, pushing retrieval AWAY
# from chain.
#
# v2 strategy: **title-leading + paraphrase suffix**. Each question
# starts with the exact claim-pack title (preserving title-token
# boost) but ends with a paraphrase-eliciting clause that should
# steer the LLM toward reformulation. Title leads retrieval; suffix
# leads generation.

# Pillar VII
Pigeonhole Principle: explain in plain English with a 13-people example.
Pascal's Rule: rephrase as a counting story.
Multiplication Principle: describe informally with a real-world example.

# Pillar I
Axiom of Implication Introduction: explain in your own words.
Axiom of Universal Specification: rephrase using simpler vocabulary.
Axiom of Reflexivity of Equality: describe informally.

# Pillar II
Axiom of Extensionality: rephrase using only common words.
Axiom of Empty Set: describe in plain English.
Axiom of Power Set: explain informally with no jargon.
Axiom of Foundation: rephrase as a rule about sets.

# Pillar III
Axiom of Successor: describe using only counting words.
Axiom of Addition (Zero): explain in plain language.

# Pillar IV
Archimedean Axiom: rephrase using simpler measurement vocabulary.
