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