13.12. Unification Example

This is what unifying two arguments looks like:
Person( $age := age ) 
Person( $age := age)