lambda1@tg
says to
YSITD
grammar is not related to any semantics