Assertion: shuffle's battery | /r/HasProperty | charged
Facets:
Source sentences:
text: While the light is blinking, the light will never turn green, even if the battery is charged.
text: After you click the eject button in iTunes, but before you disconnect it, the lights should stop blinking; it's now OK TO DISCONNECT, and if the battery is charged, it should be green.
text: Therefore, the light should not be blinking, and it will go from orange to green when the battery is charged.