Title: A frame based system in LOGIC