Property:Quotient-defining function value

has type::record has fields::page;page