作为归纳的构式部分能产性 | Synapse