diff --git a/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
index 36b322a3..010192e2 100644
--- a/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
+++ b/documentation/19.05/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Mon, 29 Jul 2019 06:28:13 GMT]]
+[[Property:modification_date|Mon, 29 Jul 2019 16:52:51 GMT]]
 [[Property:publication_date|Mon, 29 Apr 2019 14:08:51 GMT]]
 [[Property:title|Eiffel programming language syntax]]
 [[Property:link_title|Syntax]]
@@ -337,12 +337,14 @@ Assertion ::= {Assertion_clause ";" ...}*
 
 Assertion_clause ::= <nowiki>[</nowiki>Tag_mark<nowiki>]</nowiki> Unlabeled_assertion_clause 
 
-Unlabeled_assertion_clause ::= [[#Expressions|Boolean_expression]] | [[#Comments|Comment]] 
+Unlabeled_assertion_clause ::= [[#Expressions|Boolean_expression]] | [[#Comments|Comment]] | `class`
 
 Tag_mark ::= Tag ":" 
 
 Tag ::= [[#Identfiers|Identifier]] 
 
+{{Note|Unlabeled_assertion_clause of the form `class` can be used only in a postcondition. It marks a feature that does not depend on object state and can be called without a target object using non-object call of the form `{CLASS_NAME}.feature_name (arguments)`.}}
+
 
 ==="Old" postcondition expressions ===
 Old ::= <code>old</code> [[#Expressions|Expression]]