Text this: Special leave with part pay for certain educational employees of the public schools of the District of Columbia.