<?xml version="1.0"?>
<!--
SPDX-FileCopyrightText: 2024 Lady <https://www.ladys.computer/about/#lady>
SPDX-License-Identifier: CC0-1.0
-->
<!DOCTYPE ObjectProperty SYSTEM "../../DTD">
<ObjectProperty>
	<label xml:lang="en">has state</label>
	<comment xml:lang="en">
		<p>
			A <ref target="anno:State">State</ref> which describes the state of this <ref target="anno:ResourceSelection">Resource Selection</ref> within its <ref target="anno:hasSource">source</ref>.
		</p>
		<p>
			A Resource Selection may have multiple States; in this case, the States are treated as broadly equivalent (understanding that they may have subtly different resolutions or semantics); an application may choose freely between them.
			To take the intersection of multiple States, one must be <ref target="anno:refinedBy">refined by</ref> the other.
		</p>
	</comment>
	<isDefinedBy>
		<SpecificResource source="(ANNO)" fragment="hasstate"/>
	</isDefinedBy>
	<domain>
		<resource name="anno:ResourceSelection"/>
	</domain>
	<range>
		<resource name="anno:State"/>
	</range>
</ObjectProperty>