Expression semantics Name Expression Precondition Semantics Postcondition Function call f(x) x is in f's domain Calls f with x as an argument, and returns a value of type Result [1] The return value is in f's range
f(x)
