Assertion: lcd's pin | /r/HasProperty | high
Facets:
value: in this case
type: TEMPORAL
Source sentences:
text: When the segment ‘a’ input drive is high, the EX-OR element gives the same phase action as just described, but in this case, the ‘a’ OUT pin is high and BP is low when the squarewave is at logic-0, and ‘a’ OUT is low and BP is high when the squarewave is at logic-1.