Base clause for cnf2cls... more to come