Assertion: configuration | /r/HasProperty | changed in case
Facets:
Source sentences:
text: In case the configuration has to be changed, DHCP-protocol goes a long way to do so automatically, without the user even noticing.