A representation of 
that is logically derived by applying a 
to the 
.
Notes
- Different inferred views can be derived from the same by applying different rules that selectively exclude some types of assertions.
- Different inferred views may be
to one another provided that assertions are only excluded if they are redundant (i.e. can be inferred from assertions that are included). However, in some cases, an inferred view may not completely represent the 
but may serve a specific purpose.
Change Notices
- Before July 2018, the
contained an inferred view from which redundant 
were removed. This view, known as the 
, was to the . - Changes introduced in the July 2018 release of the
, enhanced the expressivity of the by enabling use of the 
. The does not support these enhanced features but is still used to distribute an inferred view. The revised inferred view is known as the 
it is similar to the but does not fully represent the of the 
.
Related Links