post review corrections 3 (more syntax)

Author: JPryce-Aklundh

modules/ROOT/pages/schema/graph-types/alter-element-types.adoc

@@ -1,4 +1,4 @@
-:description: Information about altering a graph type.
+:description: Information about altering element types in a graph type.
 :page-role: cypher-25-only new-neo4j-2025.xx enterprise-edition
 = Alter element types
 

modules/ROOT/pages/schema/graph-types/drop-graph-type-elements.adoc

@@ -5,7 +5,7 @@
 The `ALTER CURRENT GRAPH TYPE DROP` command allows you to drop element types and constraints from a graph type.
 
 [NOTE]
-Dropping element types and constraints from a graph type the link:{neo4j-docs-base-uri}/operations-manual/current/authentication-authorization/database-administration/#access-control-database-administration-constraints[`DROP CONSTRAINT` privilege].
+Dropping element types and constraints from a graph type requires the link:{neo4j-docs-base-uri}/operations-manual/current/authentication-authorization/database-administration/#access-control-database-administration-constraints[`DROP CONSTRAINT` privilege].
 
 .Set graph type
 [source, cypher]

modules/ROOT/pages/schema/syntax.adoc

@@ -16,7 +16,7 @@ More details about the syntax can be found in the link:{neo4j-docs-base-uri}/ope
 [source, syntax]
 ----
 ([alias] {IS | :} IdentifyingLabelName {=> | IMPLIES} [{IS | :} ImpliedLabelName[&...]] [“{“ {propertyName [[IS] :: | IS TYPED] <TYPE> [IS [NODE] {KEY | UNIQUE}]}[, ...] “}”])
-[REQUIRE {alias.propertyName | (alias.propertyName[, ...])} IS [NODE] {KEY | UNIQUE}]
+[REQUIRE {alias.propertyName | (alias.propertyName[, ...])} IS [NODE] {KEY | UNIQUE}][...]
 ----
 
 [NOTE]
@@ -28,7 +28,7 @@ For more information, see xref:schema/graph-types/set-graph-types.adoc#node-elem
 [source, syntax]
 -----
 ([nodeAlias | [nodeAlias] {IS | :} LabelName [=> | IMPLIES]])-”[“ [alias] {IS | :} IDENTIFYING_RELATIONSHIP_TYPE {=> | IMPLIES} [“{“ {propertyName [[IS] :: | IS TYPED] <TYPE> [IS [REL[ATIONSHIP]] {KEY | UNIQUE}]}[, ...] “}”] “]”->([nodeAlias | [nodeAlias] {IS | :} LabelName [=> | IMPLIES]])
-[REQUIRE {alias.propertyName | (alias.propertyName[, ...])} IS [REL[ATIONSHIP]] {KEY | UNIQUE}]
+[REQUIRE {alias.propertyName | (alias.propertyName[, ...])} IS [REL[ATIONSHIP]] {KEY | UNIQUE}][...]
 -----
 
 [NOTE]
@@ -41,6 +41,8 @@ A relationship element type requires either:
 
 For more information, see xref:schema/graph-types/set-graph-types.adoc#relationship-element-types[Set graph types -> Relationship element types].
 
+`<TYPE>` can be one of the property types listed in xref:schema/syntax.adoc#constraints-definitions[constraint definitions in graph types], the `NOT NULL` versions of those types, or `ANY NOT NULL`.
+
 The three variations of the property type expression, `IS ::`, `::`, and `IS TYPED` are syntactic synonyms for the same expression.
 The preferred syntax when defining node and relationship element types in a graph type is the `::` variant.
 
@@ -65,7 +67,7 @@ a|
 ----
 CONSTRAINT [constraint_name]
 FOR ()-”[“alias [{IS \| :} IDENTIFYING_RELATIONSHIP_TYPE [=> \| IMPLIES]] “]”->()
-REQUIRE {alias.propertyName \| (alias.propertyName[, ...])} IS [REL \| RELATIONSHIP] {KEY \| UNIQUE}
+REQUIRE {alias.propertyName \| (alias.propertyName[, ...])} IS [REL[ATIONSHIP]] {KEY \| UNIQUE}
 ----
 |===
 
@@ -98,7 +100,7 @@ a|
 ----
 CONSTRAINT [constraint_name]
 FOR ()-”[“alias {IS \| :} NON_IDENTIFYING_RELATIONSHIP_TYPE “]”->()
-REQUIRE {alias.propertyName \| (alias.propertyName[, ...])} IS [REL \| RELATIONSHIP] {KEY \| UNIQUE}
+REQUIRE {alias.propertyName \| (alias.propertyName[, ...])} IS [REL[ATIONSHIP]] {KEY \| UNIQUE}
 ----
 
 | Relationship property existence and property type constraint
@@ -142,11 +144,6 @@ The preferred syntax when defining constraints in a graph type is the `IS ::` va
 * `LIST<POINT NOT NULL>`
 * Any closed dynamic union of the above types, e.g. `INTEGER | FLOAT | STRING`.
 
-Additionally, for properties that are part of element types:
-
-* The `NOT NULL` versions of the above types
-* `ANY NOT NULL`
-
 Allowed syntax variations of these types are listed in xref:values-and-types/property-structural-constructed.adoc#types-synonyms[Values and types -> Types and their synonyms].
 
 [[set-graph-types]]
@@ -296,6 +293,8 @@ a|
 ----
 |===
 
+`<TYPE>` can be the same property types as for xref:schema/syntax.adoc#element-types[node and relationship element types].
+
 [NOTE]
 If the full definition is provided, then it needs to match exactly the node or relationship element type being dropped.