information about temporal logic field