If this is for relex2logic, then it should go into relex2logic-rules.txt and not relex-semantic-algs.txt, right?