Uses decl
Client
Text_Io
Supplier
Positive_Count
Client Cardinality
Supplier Cardinality
Export Control
PublicAccess
Involves Friendship
No