Open eaburns opened 5 years ago
sa dó bı dủa hı ráı rǎq hóa dó interprets as [¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑈)] ∃𝑋2 dua(𝑅) should be: ∃𝑋2 [¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑋2)] dua(𝑅)
[¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑈)] ∃𝑋2 dua(𝑅)
∃𝑋2 [¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑋2)] dua(𝑅)
It seems to think that do/ is un-bound and it gives it a U, then later it creates an X2 that it doesn't use.
sa dó bı dủa hı ráı rǎq hóa dó interprets as
[¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑈)] ∃𝑋2 dua(𝑅)should be:∃𝑋2 [¿𝑅 : rai(𝑅) ∧ raq(𝑅, 𝑋2)] dua(𝑅)It seems to think that do/ is un-bound and it gives it a U, then later it creates an X2 that it doesn't use.