Space Reduction and Representability of Relational Feasibility : A Factorization Theorem for Recognized Relations | Synapse