Assertion: meet | /r/HasProperty | partial binary operation
Facets:
value: on a.
type: LOCATION
Source sentences:
text: x ∨ y. If not all pairs of elements from A have a meet (respectively, join), then the meet (respectively, join) can still be seen as a partial binary operation on A.