Assertion: astronomer | /r/CapableOf | introduce many arabic names
Facets:
value: during that time
type: TEMPORAL
Source sentences:
text: Astronomers during that time introduced many Arabic names now used for individual stars.