Assertion: consequence | /r/CapableOf | retain similar form
Facets:
Source sentences:
text: A consequence is called formal if it is valid in all terms retaining a similar form.