Theory. has_instance String_theory. is_type_of Concept.       Vr.156, July 2011     Readme      ..