Verification. example Travel_to_moon. has_type Experience. has_type Experiment. is_part_of Fact.       Vr.156, July 2011     Readme      ..