Logic-Syntax

Trying to make compact and consistant languge to write statements in.