Assertion: external receiver | /r/HasProperty | installed
Facets:
value: properly
type: MANNER
Source sentences:
text: Once the external receiver is properly installed and remotes programmed the garage door opener will open and close using the remotes programmed to the external receiver.