_:b664333193 "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " . _:b664333193 . _:b664333193 . _:b664333193 . _:b664333193 . _:b664333193 .