The Logical foundations of Bra软件信息