(DEFPROP RULES T SPECIAL)
(DEFPROP KEYSTACK T SPECIAL)
(DEFPROP FLIPFLOP T SPECIAL)
(DEFPROP SENTENCE T SPECIAL)
(DEFPROP LETTER T SPECIAL)
(DEFPROP FLAG T SPECIAL)
(DEFPROP TERMINAL T SPECIAL)
(DEFPROP OBLIST T SPECIAL)
(DEFPROP SOBLIST T SPECIAL)
(DEFPROP WORD T SPECIAL)
(DEFPROP OBASE T SPECIAL)
(DEFPROP PARSELIST T SPECIAL)
(DEFPROP S T SPECIAL)
(DEFPROP D T SPECIAL)