construction,qualifier_hr
binary product,two objects
binary sum,two objects