Currently, the "AND/OR/XOR/NOR" logic constraints are formatted as "LOGIC_OPERATOR (CONDITION_1, CONDITION_2, CONDITION_3, ...).
For example, an AND constraint with "battery level < 11%" and "power disconnected" will be formatted as "AND (Battery < 11%, Power Disconnected)". This is fairly hard...