Using the AWAL Knowledge Base