Assertion: progressive rock | /r/HasProperty | prog
Facets:
Source sentences:
text: All prog is art rock but not all art rock is prog.