<?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>