Без заголовка
Вы всетаки хотите загнать семантику в строгие прокрустовы рамки формальной абстракции (тем же чем занят (безуспешно(?)) Ленат).
Думаете получится?
Может всетаки стоило бы попробовать научится с ней работать тем способом,каким с этой задачей справляется естественный язык?