information about Kripke frame field