#lojasi #jan misali #predicate logic #logical quantifier #formal language #conlang creator #grammar explanation #logical structure