# A curator's session over the Amsterdam Museum store (regime rdfs + am_prop.txt, entries
# am_entries.txt; prefixes as in am_rdfs.txt). Predictions written before the run of 2026-09-07.
holder curator@amsterdammuseum.nl

# 1. Read the etching after Jan Luyken aloud. The record has Luyken as tekenaar "naar" and as
#    etser without a qualifier; nothing in the record alone is incoherent.
read am:proxy-52227
coherent? ## 1
# The record commits the curator to the propagated object name (the store's thesaurus is background).
# First predicted with am:t-11421, which is not a broader term of the record's object name
# (t-12936); the run of 2026-09-07 failed that prediction and the one at step 3 that reused it.
commits? <am:proxy-52227 am:objectName am:t-9646> ## 1
# The unqualified etcher record makes Luyken the etcher by default; the "naar" one does not make him the maker.
commits? <am:proxy-52227 am:etchedBy am:p-10974> ## 1
commits? <am:proxy-52227 am:madeBy am:p-10974> ## 0

# 1b. What would an opponent ask? Two probes are predicted: the unqualified etcher record makes the
#     curator committed by default to the etcher credit (a default to acknowledge), and accepting it
#     would complete the anachronism (an incompatibility asking for it, rescued by a posthumous
#     impression). The "naar" record's default is defeated and yields no probe.
challenges? ## 2

# 2. The curator asserts the etcher credit outright. Luyken died in 1712; the etching is dated 1727.
assert <am:proxy-52227 am:etchedBy am:p-10974>
coherent? ## 0
# The opponent's only probe is now the refutation itself.
challenges? ## 1
# ... and is told what would rescue it: a posthumous impression.
assert <am:proxy-52227 am:posthumousImpression "yes">
coherent? ## 1
withdraw <am:proxy-52227 am:posthumousImpression "yes">
coherent? ## 0
withdraw <am:proxy-52227 am:etchedBy am:p-10974>
coherent? ## 1

# 3. Denials: the curator rejects that the etching was made by Luyken; the record does not entail it.
deny <am:proxy-52227 am:madeBy am:p-10974>
coherent? ## 1
# ... but rejecting the object name the thesaurus gives it puts the position out of bounds.
deny <am:proxy-52227 am:objectName am:t-9646>
coherent? ## 0

# 3b. Entitlement. The record read aloud is inherited (entitled: 78 commitments, the museum's
#     record); the curator's own assertion is undefended until a round stands. Withdraw the
#     denials first so the round can stand.
withdraw <am:proxy-52227 am:madeBy am:p-10974>
assert <am:proxy-52227 am:printedBy "unknown">
entitled? <am:proxy-52227 am:printedBy "unknown"> ## 0
score? ## 78
defend ## 0
# The standing denial of the propagated object name still refutes; withdrawing it is not a
# position move (denials are not withdrawn here), so read the record afresh and try again.
read am:proxy-52227
assert <am:proxy-52227 am:printedBy "unknown">
defend ## 1
entitled? <am:proxy-52227 am:printedBy "unknown"> ## 1
score? ## 79

# 4. The chalice, read aloud, carries two production starts and is out of bounds; one start alone is fine.
read am:proxy-31227
coherent? ## 0
withdraw <am:proxy-31227 am:productionDateStart "1632">
coherent? ## 1
# The opponent asks whether the curator also accepts the record's other start.
challenges? ## 1
# The rest of the record (title, credit line) is still the curator's: it commits to it.
commits? <am:proxy-31227 am:productionDateEnd "1800"> ## 1
# Something the store never said is not.
commits? <am:proxy-31227 am:productionDateStart "1900"> ## 0
