Assertion: actor's behavior | /r/HasProperty | ⊥ s
Facets:
Source sentences:
text: The mathematical denotation denoted by a closed system S is constructed from an initial behavior ⊥ S and a behavior-approximating function progression S .