surface X
i1 : X = specialCubicFourfold "quintic del Pezzo surface"; o1 : ProjectiveVariety, cubic fourfold containing a surface of degree 5 and sectional genus 1
i2 : S = surface X; o2 : ProjectiveVariety, surface in PP^5
i3 : assert isSubset(S,X)
The object surface is a method function.