Implicatively implicit extensions of two-place symmetric functions in P 3 | Synapse