ability to query found lemmas/theories in MetaKB