F.3:6.3 - Split divergent entailments

If one use entails occurrence in time and another entails a design structure or capability, the uses support different claims.

Example: a PROV activity is a time-bounded occurrence; that claim does not describe a static algorithmic capability.