information about First-order logic field