recognition of partial functions