Assertion: train's number | /r/HasProperty | operated by korail
Facets:
Source sentences:
text: Lines without a number that are operated by KORAIL will start with the letter 'K'.