has appellation for language
has manifestation singleton type
is annotated by
is representative manifestation singleton for