extract::=