Single inheritance of fields and predicates