introduce new term type for null values (anonymous individuals), experiments with existential quantifier