Assertion: pub | /r/HasProperty | bar
Facets:
Source sentences:
text: All bars are pubs, not all pubs are bars.