A DRS is supported by an information state iff each pair of a possible world and an assignment supports each condition in the DRS.
this is a deviation from the standard DRS, in which each DRS is interpreted with respect to a model.