Assertion: geometry's point | /r/HasProperty | indented pop s push
Facets:
value: onto s
type: TRANSITIVE-OBJECT
Source sentences:
text: x { if (x,y) and top two points on S are indented pop S push (x,y) onto S }