Approved BLD To demonstrate different syntactic options for specifying arguments This test case demonstrates the same use case as "positional arguments" and "frames" using named arguments instead of positional arguments or frames. Named_Arguments-premise.rif http://www.w3.org/2005/rules/test/repository/tc/Named_Arguments/Named_Arguments-premise.rif ) Prefix(xs ) Group ( Forall ?Customer ( ex:discount(value -> 10 customer -> ?Customer) :- ex:gold(customer -> ?Customer) ) Forall ?Customer ( ex:discount(customer -> ?Customer value -> 5) :- ex:silver(customer -> ?Customer) ) ex:gold(customer -> "John Doe") ) ) ]]> Named_Arguments-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/Named_Arguments/Named_Arguments-conclusion.rif "John Doe" value -> 10) ]]>