;;; Hey, emacs(1), this is -*- Mode: TDL; Coding: utf-8; -*- got it?

mark := predsort.
quantifier_mark := mark.
intersective_mark := mark.
intersective_arg1_mark := intersective_mark.
intersective_arg2_mark := intersective_mark.
intersective_arg3_mark := intersective_mark.
intersective_arg4_mark := intersective_mark.
scopal_arg1_mark := mark.
scopal_arg2_mark := mark.
scopal_arg3_mark := mark.
scopal_arg4_mark := mark.
scopal_l-hndl_mark := mark.
scopal_r-hndl_mark := mark.

neg_rel := predsort.