Mappings for the extension-condition-ruledout extension (see Mappings to Other Standards for further information & status).