information about Presburger arithmetic field