Assertion: concept | /r/CapableOf | satisfy d ⊆ m \ b.
Facets:
Source sentences:
text: However, since the concept lattice is complete one can consider the join (A, B)Δ of all concepts (C, D) that satisfy C ⊆ G \ A; or dually the meet (A, B)𝛁 of all concepts satisfying D ⊆ M \ B.