Function Symbols with multiple arguments