Assertion: personal computer's feature | /r/CapableOf | formalize inconsistent implementations
Facets:
value: previously
type: TEMPORAL
Source sentences:
text: These new features formalize previously inconsistent implementations, reducing the number of vulnerabilities though not eliminating them entirely.