Theory. has_instance String_theory. is_type_of Concept.       Vr.155, Dec 2010     Readme      ..