Adjusted convert method names in Antecedent and Consequent