Assertion: cd player's laser | /r/HasProperty | red light
Facets:
Source sentences:
text: If there is no red light, then the laser has failed.