Symbolic translation of conditional and biconditional statements: Basic