id_X
i1 : X = abstractProjectiveSpace 4 o1 = X o1 : a flag bundle with subquotient ranks {1, 4}
i2 : id_X o2 = a variety map o2 : a map to X from X