Capstone provides special features if you use certain "well known" predicates. All of these well known predicates are documented separately.

The predicate "is included in" is used to describe whole-part relationships. For example:

• Part is included in Machine
• Component is included in Asset
• Asset is included in Facility

The predicate "is a" is used to describe sub-types. For example:

• Polygon is a Shape
• Triangle is a Polygon
• Square is a Polygon