information about Extension (predicate logic) field