This is work for LPSL:AL, also functions as the start of someone actually trying to formalize and identify ISM ordinals
