Assertion: relation algebra | /r/HasProperty | qra
Facets:
Source sentences:
text: An RA is a Q-relation algebra (QRA) if, in addition to B1-B10, there exist some A and B such that (Tarski and Givant 1987: §8.4):