⊆
Defined symbol.
Type:
pr
Arguments:
(coll),
(coll),
(coll), 
(coll), (coll), (coll),