DISJOINT

open fun DISJOINT(): TerminalNode