Finished up attribute assigns through semantic checking