Trait IGroundFact
iso_10303_parts::ap203
pub trait IGroundFact: IAtomicFormula { }
impl IGroundFact for GroundFact