Property:Statement Type

This is a property of type String.

The allowed values for this property are:
 * Allows value::Axiom
 * Allows value::Theorem
 * Allows value::Lemma
 * Allows value::Corollary
 * Allows value::Proposition
 * Allows value::Fact