no mention of

X

there... there are just other rules that can provide those things for a subject of type

X

(recursively)