Finitely Specifiable Implicational Dependency Families | Synapse