Release 1.2.0
Major changes of release 1.2.0 compared to the previous release 1.1.4
a) P1EDA (alignment-based EDA): this EDA tries to align T with H, according to different aspects of their representation: lexical, syntactic, etc. It eventually classifies whether or not T entails H by considering the plausibility of those alignments.
b) LAP for Bulgarian language