Thoya conlang: Linking clauses

The two main types of linking clauses are "if _ then _", and "because _ therefore _". In most languages, these expressions don't distinguish between the different types of relationships they can imply, such as causation and deduction. For example, "If you do X, Y will happen" (meaning that X will cause Y) is a different meaning from "If you do X, that entails that Y will happen" (X might not be the cause of Y, but that it happens gives us reason to believe Y will happen). Thoya distinguishes these different relationships:

je - if. Used for any type of relationship.

ye - because. Note this means the same thing as je except it implies the premise is known to be true. ye is not strictly necessary, since a normal, bare clause is already saying it's true, but it exists for clarity: if the premise is long, it's useful to have a way to signal from the start from that it's a preface to something else.

do - causation.

co - entailment.

coy - entailment by definition. Note that the difference between this and co is that this one needs no other premises, while for non-definitional entailment, what's actually going on is that other premises are being used (since strictly speaking it's impossible to entail something not by definition).

It's also possible to put them in the other order ("_ if _" and "_ because _"). When doing this it's recommended to include both words for clarity:

"do <effect> je <cause>"

"co <deduction> je <condition>"