Fact. example World_is_round. has_part Verification. is_type_of Concept.       Vr.156, July 2011     Readme      ..