moved a.restrict to RelationProperties, and simplified its notation definition by inlining it into the definition