Assertion: variable's type | /r/HasProperty | da
Facets:
Source sentences:
text: Known types of pulsating white dwarf (or pre-white dwarf) include the DAV, or ZZ Ceti, stars, with hydrogen-dominated atmospheres and the spectral type DA; DBV, or V777