Closed DiegoVinasco closed 1 year ago
regenerate with shapechange using universal quantifications and cardinality restrictions
regenerate with shapechange using universal quantifications and cardinality restrictions