information about Computation tree logic field