type->semantics to make it easier for lance
update html