Assertion: wire | /r/HasProperty | top
Facets:
Source sentences:
text: As the signal-pin list is rewritten as a wire-list, the program can assign attributes in the records to indicate whether a wire is top or bottom.
text: As the signal-pin list is rewritten as a wire-list, the program can assign attributes in the records to indicate whether a wire is top or bottom.
text: The next wire is top.
text: The next wire is bottom, etc.