Added clause_set.rb