abstract ExtraLatAbs = Extra, ExtraLexiconLatAbs ** { fun UsePronNonDrop : Pron -> NP ; }