_:b254665008 . _:b254665008 . _:b254665008 . _:b254665008 "This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation." . _:b254665008 .