Assertion: trace | /r/HasProperty | composable
Facets:
value: in this way
type: MANNER
Source sentences:
text: Traces are composable in this way: a valid trace consists of valid sub-traces.