_:b254665040 . _:b254665040 . _:b254665040 "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " . _:b254665040 . _:b254665040 .