A translator for the conversion of graphical geometric figures to first-order logic description