Assertion: intersection's opening | /r/HasProperty | left at the top
Facets:
Source sentences:
text: When the vault was finished, a small opening was left at the top.