Assertion: logic's semantic | /r/HasProperty | precise
Facets:
Source sentences:
text: To be precise, a semantics for \(\mathsf{J}_{CS}\), where \(CS\) is any constant specification, is to be defined.