Assertion: interrupt's address | /r/HasProperty | different
Facets:
Source sentences:
text: Sibling nodes must be uniquely named, but it is normal for more than one node to use the same generic name so long as the address is different (ie, serial@101f1000 & serial@101f2000).