add set_logic_parser, with cardinality_expression implemented