search

normativeai / frontend

GNU General Public License v3.0
6 stars 3 forks source link

Connectives work only when formalizing from outside to inside #23

Open terezanovot opened 5 years ago

terezanovot commented 5 years ago

If formalizing from inside to outside (which is more intuitive I think), the inside connective is deleted. It is a problem mainly if the outside formalization expects different number of inputs (operands) then there is in the whole text (sentence).

lex-lex commented 5 years ago

Yes, that is a technical limitation at the moment and there is no simple way around it (at least not before the tutorial). Annotation needs to be done from the outside to the inside.

shaolintl commented 5 years ago

This might be a nice future feature though...