Assertion: rooted tree | /r/HasProperty | labeled in x \displaystyle x
Facets:
Source sentences:
text: T 1 , T 2 , … {\displaystyle T_{1},T_{2},\dots } of rooted trees labeled in X {\displaystyle X} , there is some i