FOL-DL-TS 1