add more port logic to semantics