flams_ontology::ftml::attrstrings

Constant PROOF_PREMISE

Source 
pub const PROOF_PREMISE: &'static str = "data-ftml-premise";