On Tue, Jul 3, 2018 at 12:54 AM Shiro Kawai <xxxxxx@gmail.com> wrote:

Under "submappings" section it says:

Note: The following three predicates ...

But there are five predicates.

Thank you very much. I've fixed the mistake and added a note to that effect to the Status section.