Data.Logic.Harrison.Formulas.FirstOrder

antecedent

consequent

on_atoms

over_atoms

atom_union