Added expansions of abstract abbrev.