Opinion. has_type Verification. is_type_of Concept.       Vr.156, July 2011     Readme      ..