Properties of

[%- INCLUDE ppf name = instance -%] ∈ [%- INCLUDE ppf name = class -%]
- Object Properties
  - [%- INCLUDE ppf name = i.d -%] ∈ [%- INCLUDE ppf name = i.dc -%] [%- INCLUDE ppp name = i.p -%] [%- INCLUDE ppf name = i.r -%] ∈ [%- INCLUDE ppp name = ranges.item(i.p) -%]
- Data Properties
  - [% INCLUDE ppp name = k -%]: [% data_props.item(k) %] [% END %]

[% BLOCK ppf %] [% SET name = name.replace('.*?#', '') %] [% name = name.replace('>$', '') %] [% name = name.replace('^(I::)?.*?::', '') %] [% name = name.replace('::\d+$', '') %] [% name %] [% END %] [% BLOCK ppp %] [% SET name = name.replace('.*?#', '') %] [% name = name.replace('>$', '') %] [% name %] [% END %]