Assertion: moon's crater | /r/HasProperty | ali baba
Facets:
Source sentences:
text: The two prominent craters above the middle terminator are Ali Baba (upper) and Aladdin.