data a :- b

f