(thing transformed EVT OBJ) identifies OBJ as the instance of thing existing stably in time which undergoes a transformation in the transform EVT. OBJ is destroyed in EVT but a portion of it continues in the output of EVT, the output created. Example: (thing transformed SallyTurnsFredIntoAFrog2345 Fred) means that the thing which undergoes a transformation in the transform SallyTurnsFredIntoAFrog2345 is Fred. For changes which don't involve destruction, see event that inherently involves a change of state. See also Transformed Into.