Describir: Logická analýza přirozeného jazyka