Wrote /root/JavaX-Caches/tmp_833324561/main.java - 714849 bytes (written=714849, should be 714849)
javac=0, ecj=1, useJarBot=0
Checking ECJ at port 4898 at 127.0.0.1
/root/jdk-17/bin/javac -source 11 -target 11 -nowarn -encoding utf8 -Xdiags:verbose -cp /root/.javax/x30.jar:/root/dexcompiler/android.jar:/root/dexcompiler/support-v4-22.2.1.jar:/root/javafx/javafx.base.jar:/root/javafx/javafx.graphics.jar:/root/javafx/javafx.swing.jar:/root/.tinybrain/snippet-cache/1003724.jar -d /root/JavaX-Caches/tmp_2053672800 /root/JavaX-Caches/tmp_833324561/main.java 2>&1<br><title>[Compilation Error]</title><p>Compiler errors. <a href='/tb/transpile.php?id=1017667&quick=1&medium=1'>Medium transpile.</a> <a href='/tb-int/get-transpiled.php?id=1017667&raw=1'>Show Java sources.</a> <a href='/tb/show-snippet.php?id=1017667'>Show snippet.</a> <a href='/tb/snippets.php?id=1017667'>Edit.</a></p><xmp>/root/JavaX-Caches/tmp_833324561/main.java:65: error: no suitable method found for applyNLLogicFacts_v3(String,<anonymous VF1<Exp>>,List<Pair<String,IfThen>>)
    applyNLLogicFacts_v3(s, new VF1<Exp>() { public void get(Exp e) { try {
    ^
    method main.applyNLLogicFacts_v3(String,VF1<Exp>) is not applicable
      (actual and formal argument lists differ in length)
    method main.applyNLLogicFacts_v3(String,VF1<Exp>,List<String>) is not applicable
      (argument mismatch; List<Pair<String,IfThen>> cannot be converted to List<String>)
    method main.applyNLLogicFacts_v3(String,VF1<Exp>,List<String>,List<IfThen>) is not applicable
      (actual and formal argument lists differ in length)
    method main.applyNLLogicFacts_v3(NLLogicChecker_v2,VF1<Exp>,List<IfThen>) is not applicable
      (argument mismatch; String cannot be converted to NLLogicChecker_v2)
1 error</xmp><br>