Abstract_Consistency_Property.Example_Bounded_FOL