Assertion: logic's semantic | /r/HasProperty | intended for hpc
Facets:
Source sentences:
text: Some such semantics, though intended for HPC, have turned out, unexpectedly, not to be adequate for HPC.