has definition
has manifestation singleton type
is annotated by
is representative manifestation singleton for