$Id: statement2.owl,v 1.2 2003/08/28 16:08:40 kenb Exp $ Inconsistent reified statement. The reified statement has two predicates, but this, in itself, is not enough for the annotation to be inconsistent. The real inconsistency is that if unionOf and A are the same, then there is a property that is also a class.