Assertion: set's element | /r/CapableOf | exist \(r\in p\
Facets:
Source sentences:
text: Two elements, \(p\) and \(q\), of \(P\) are called compatible if there exists \(r\in P\)