Merge pull request #1345 from json-schema-org/gregsdennis-property-annotation-language-update

Update `properties` and `patternProperties` annotation language

Author: gregsdennis

jsonschema-core.xml

@@ -2445,7 +2445,7 @@
                         </t>
                         <t>
                             The annotation result of this keyword is the set of instance
-                            property names matched by this keyword.
+                            property names which are also present under this keyword.
                             This annotation affects the behavior of "additionalProperties" (in
                             this vocabulary) and "unevaluatedProperties" in the Unevaluated vocabulary.
                         </t>
@@ -2471,7 +2471,7 @@
                         </t>
                         <t>
                             The annotation result of this keyword is the set of instance
-                            property names matched by this keyword.
+                            property names matched by at least one property under this keyword.
                             This annotation affects the behavior of "additionalProperties" (in this
                             vocabulary) and "unevaluatedProperties" (in the Unevaluated vocabulary).
                         </t>