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