has appellation for language
has definition
has manifestation singleton type
is annotated by
mentions