Assertion: default | /r/HasProperty | translated
Facets:
value: separately
type: MANNER
Source sentences:
text: Modular a translation from default logic to another logic is modular if the defaults and the background theory can be translated separately; moreover, the addition of formulae to the background theory only leads to adding the new formulae to the result of the translation;