Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic | Read Paper on Bytez