added parsing of simple abstraction