aleman16semi-def