ObjectSomeValuesFrom with expressions
ObjectUnionOf ambiguity removed
Cut added to all basis rules
SubClassOf refactored