Assertion: expression's variable | /r/HasProperty | replaced by different symbol constants
Facets:
Source sentences:
text: E=F between regular-expression terms with variables holds if, and only if, its instantiation with different variables replaced by different symbol constants holds.