The ValueType that is now created for a unary fact type clashes with the name of the objectification. Try to enter for example Terry's model "Death objectifies (Person(Name) is dead)" - the objectification is done so that a cause-of-death fact type can be added. this worked ok in the previous CTP because there was no implicit ValueType. It doesn't seem possible to rename either of the duplicates.
Log in to post a comment.