Assertion: truth value | /r/HasProperty | asserted
Facets:
value: sometimes
type: TEMPORAL
value: mistakenly
type: MANNER
Source sentences:
text: Unproven statements in intuitionistic logic are not given an intermediate truth value (as is sometimes mistakenly asserted).