Property exemplification is ontologically loaded: to instantiate a predicate F, an object must exist...