The new feature for creating disjunctive logical forms based on the differences between aligned semantic graphs is amazing. Thank you for implementing such a great idea!
Unfortunately, I failed to get multiple disjunctive logical forms by computing the difference between a disjunctive form created by buildDisjunctiveLFFor and a new LF: I always end up by having the disjunction of two LFs (the disjunctive one and the new LF), not the disjunctive LF with new disjunctions from the new LF merged. Is there any way to obtain that?
Thank you,
Giuliano
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The new feature for creating disjunctive logical forms based on the differences between aligned semantic graphs is amazing. Thank you for implementing such a great idea!
Unfortunately, I failed to get multiple disjunctive logical forms by computing the difference between a disjunctive form created by buildDisjunctiveLFFor and a new LF: I always end up by having the disjunction of two LFs (the disjunctive one and the new LF), not the disjunctive LF with new disjunctions from the new LF merged. Is there any way to obtain that?
Thank you,
Giuliano