information about Predicate (mathematical logic) field