scripts/testCombineSets.rb in catlogic-0.0.2 vs scripts/testCombineSets.rb in catlogic-0.0.3

@@ -5,25 +5,25 @@
 rescue LoadError
   require 'rubygems'
   require 'catlogic'
 end
 
-premises1 = [Proposition.new("universal", "dogs", "affirmative", "animals", true),
-             Proposition.new("universal", "cats", "affirmative", "animals", true),
-             Proposition.new("universal", "animals", "affirmative", "mortals", true),
-             Proposition.new("universal", "mortals", "affirmative", "things that disintegrate", true),
-             Proposition.new("particular", "dogs", "affirmative", "brown", true),
-             Proposition.new("particular", "cats", "negative", "mean things", true),
-             Proposition.new("particular", "cats", "negative", "mean things", true),
-             Proposition.new("universal", "animals", "negative", "divine things", true),
-             Proposition.new("particular", "animals", "affirmative", "carnivores", true)]
+premises1 = [Catlogic::Proposition.new("universal", "dogs", "affirmative", "animals", true),
+             Catlogic::Proposition.new("universal", "cats", "affirmative", "animals", true),
+             Catlogic::Proposition.new("universal", "animals", "affirmative", "mortals", true),
+             Catlogic::Proposition.new("universal", "mortals", "affirmative", "things that disintegrate", true),
+             Catlogic::Proposition.new("particular", "dogs", "affirmative", "brown", true),
+             Catlogic::Proposition.new("particular", "cats", "negative", "mean things", true),
+             Catlogic::Proposition.new("particular", "cats", "negative", "mean things", true),
+             Catlogic::Proposition.new("universal", "animals", "negative", "divine things", true),
+             Catlogic::Proposition.new("particular", "animals", "affirmative", "carnivores", true)]
 
 
-premises2 = [Proposition.new("universal", "Events", "affirmative", "Caused Happenings", true),
-             Proposition.new("universal", "Free Decisions", "negative", "Caused Happenings", true),
-             Proposition.new("universal", "Caused Happenings", "affirmative", "Physical", true)]
+premises2 = [Catlogic::Proposition.new("universal", "Events", "affirmative", "Caused Happenings", true),
+             Catlogic::Proposition.new("universal", "Free Decisions", "negative", "Caused Happenings", true),
+             Catlogic::Proposition.new("universal", "Caused Happenings", "affirmative", "Physical", true)]
 
-collection = PremiseCollection.new(premises1)
+collection = Catlogic::PremiseCollection.new(premises1)
 
 newcollection = collection.combineSets(premises2)
 
 
 newcollection.each do |proposition|