Query: Charts in which a given state is definedPurpose: Returns the charts in which the states in the input list are explicitly defined or unresolved Query: Statecharts defining a given statePurpose: Returns the statecharts that define the instance states in the input list