1. Add a new section before 3.16 Evaluating $apply to define a function aggregate that has a single parameter accepting an aggregate-function expression and returns the aggregated value of type Edm.PrimitiveType as the result from applying the aggregate expression on an input collection provided by the context. An aggregate-function expression offers the same capabilities as an aggregate expression defined for the aggregate transformation except that it does not support aggregation on related entities, and it never includes an alias for introducing a dynamic property containing the aggregated value. The function can be applied in any expression derived from the commonExpr rule (see ** [OData-ABNF] ). Within $apply, the function is applied as part of an argument expression to a transformation, and the input set of that transformation is the input collection for the function. Outside of $apply, the function may be applied in requests querying collections in an argument expression for a system query option and a lambda operator. Inside a system query option, the collection on which it operates is used as input collection for the function. This is also valid for nested query options used as arguments, like $filter in $expand. Inside a lambda predicate expression the input collection for the aggregate function depends on the path expression used in the aggregateFunctionExpr (see ABNF below): For a path expression starting with the lambda variable the input collection is given by the target of the navigation path prepended to the lambda operator; for a path expression starting with $it the collection addressed by the resource path is the input collection; for other path expressions the input collection is given by the collection of instances at the origin of the navigation path prepended to the lambda operator.   2. In the Data Aggregation’s ABNF, define the rule for computeAggregateMethodCallExpr as aggregateMethodCallExpr = 'aggregate' OPEN BWS aggregateFunctionExpr BWS CLOSE  aggregateFunctionExpr   = '$count' / commonExpr aggregateWith [ aggregateFrom ]                         / / [ inscopeVariableExpr "/" ] pathPrefix primitiveProperty aggregateWith [ aggregateFrom ] / / [ inscopeVariableExpr "/" ] pathPrefix customAggregate [ aggregateFrom ] Add the aggregateMethodCallExpr rule to the set of rules recognized by methodCallExpr within a commonExpr: methodCallExpr =/ aggregateMethodCallExpr