Attributes
. NINV . Names
Logic Funct.
(1)