Assertion: actual parameter | /r/HasProperty | a collar instance
Facets:
Source sentences:
text: That Collar instance gets passed to the code for the Dog constructor, which in turn copies the actual parameter (a Collar instance) to the formal parameter collar.