Started filling in details of direct_assignment_representation, most of which will be factored from state