parser with imported set of classes for binary connectives