Assertion: mini dv camcorder | /r/HasProperty | record avchd format
Facets:
Source sentences:
text: HD mini-DVD camcorders, for example, record AVCHD format (a high definition format) to Blu-ray disc, which then play seamlessly in compatible players.