Assertion: mira variable | /r/HasProperty | agb red giants
Facets:
Source sentences:
text: Mira variables are AGB red giants.