Assertion: message | /r/HasProperty | undeliverable
Facets:
Source sentences:
text: Had the library.example mail server known that the message would be undeliverable (for instance, if Jill had no user account there) then it would not have accepted the message in the first place, and therefore would not have sent the bounce.