Assertion: graph's edge | /r/HasProperty | labeled by a 0
Facets:
Source sentences:
text: In a binary decision diagram, each non-sink vertex is labeled by the name of a binary variable, and each sink and each edge is labeled by a 0 or 1.