AR471 : Semantics