Split the name field on the alias and implication search forms so that you can search just for antecedents or consequents without having to search both.
Split the name field on the alias and implication search forms so that you can search just for antecedents or consequents without having to search both.