Match: Knowledge representation