MinimalSemiLattice.P
type property
val leq : property -> property -> bool
val join : property -> property -> property