GeometricAssertion

GeometricAssertion[obj,prop] represents the assertion that the geometric object obj satisfies prop.

GeometricAssertion[{obj1,obj2,…},prop] represents the assertion that the obji satisfy prop.

GeometricAssertion[objs,prop1,prop2,…] represents the assertion that objs satisfies each of the propi.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.