hylotab-1.2.0: examples/sat/form04.frm

begin
 <>(n1 & (<>n1) & ([]<>n1))
end