Data.Logic.Types.Harrison.Equal
data
FOLEQ
data
PredName