<?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 selector</label>
	<comment xml:lang="en">
		<p>
			A <ref target="anno:Selector">Selector</ref> which describes the selection 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 Selectors; in this case, the Selectors 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 Selectors, one must be <ref target="anno:refinedBy">refined by</ref> the other.
			When a Selector only applies to a particular <ref target="anno:State">State</ref>, the State must be refined by that Selector.
		</p>
	</comment>
	<isDefinedBy>
		<SpecificResource source="(ANNO)" fragment="hasselector"/>
	</isDefinedBy>
	<domain>
		<resource name="anno:ResourceSelection"/>
	</domain>
	<range>
		<resource name="anno:Selector"/>
	</range>
</ObjectProperty>