Assertion: transitive set | /r/HasProperty | the transitive closure of a
Facets:
Source sentences:
text: L 0 ( A ) = the smallest transitive set containing A as an element, i.e. the transitive closure of { A }.