information about Disjunctive normal form field