The TK95 microcomputer was the evolution of the TK90X made in the second half of the 1980s by Microdigital Eletronica, a company located at São Paulo, Brazil that manufactured some ZX81 clones before (TK82, TK82C, TK83 and TK85) and a ZX80 clone (TK80). The first version was launched in November 1986.
The first version was launched in an even-numbered year.
It was launched in 1986, that is an even number. It's difficult because the system does not seem to understand what even and odd numbers are.
( z1 launch :ARG1 ( z2 version :ord ( z3 ordinal-entity :value 1 ) ) :time ( z4 year :mod ( z5 even-numbered ) ) )