Assertion: division's infantry regiment | /r/HasProperty | the 9th
Facets:
Source sentences:
text: The division's three infantry regiments (the 9th, 23rd and 38th) were inactivated, with their elements reorganized into five infantry battle groups (the 2-9 IN, 2-23 IN, 1-87 IN, 2-1 IN and the 1-11 IN).