Verification. example Travel_to_moon. has_type Experience. has_type Experiment. is_part_of Fact.       Vr.155, Dec 2010     Readme      ..