Assertion: format | /r/HasProperty | mac os
Facets:
Source sentences:
text: The most efficient format for Mac Users is Mac OS (Journaled)