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