Assertion: lisp's function | /r/HasProperty | originated by device
Facets:
Source sentences:
text: LISP then defines functions for mapping between the two numbering spaces and for encapsulating traffic originated by devices using non-routable EIDs for transport across a network infrastructure that routes and forwards using RLOCs.