Data.Logic.Types.Harrison.Prop
data
Prop