fran semantics