Theory. has_instance String_theory. is_type_of Concept.       Vr.155, Dec 2009     Readme      Queries: obromley@hotmail.com