-- type constructor
type Prop = (Id,[Id],[Clause],[Clause])