information about Higher-order logic field