fact: Definition UnConstryQueryStructure_Abstract_AbsR {qsSchema} (r_o : UnConstrQueryStructure qsSchema) (r_n : Iterate_Dep_Type_BoundedIndex _) := UnConstryQueryStructure_Abstract_AbsR' r_o r_n.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory