x1 is a former/previously was but no longer is/used to be (a) x2 as of time x3 according to standard x4; x1 is an ex-x2.
x2 should be a role or possession of a property; unless x1 is an or could be an event, it should not be one either (more generally, they have to match type in a sense). x4 is the standard by which x2 both was claimed (to have been) and is now no longer claimed (to be); cessation of the state of being an example of an x2 must have occurred in the past and must still (in the present) not apply. It may be regained in the future, but this case is not considered, under normal circumstances, to be resumptive: the state was done/terminated (but not necessarily finished) and then may be started anew. See also: ".uaigri".