Validating Admissibility Flow: A First Cross-Domain Application of the PFL-X Symbolic Language | Synapse