Dear George, Yes, exactly!
Best, Wolfgang > Am 26.10.2022 um 22:02 schrieb George Bruseker via Crm-sig > <crm-sig@ics.forth.gr>: > > Dear Martin and Wolfgang, > > > > >> Therefore, the described destination is an instance of E53 Place which P89 > >> falls within (contains) the instance of E53 Place the move P7 took place > >> at. > > P26(x,y) ⇒ (∃z) [E53(z) ∧ P7(x,z) ∧ P89(y,z)] > > > > I assume that P26 behaves in the same way as P7, ie. there are some > > attestations and one can infer the best approximation. > > Why do you assume that? > > I assume he assumes consistency in our reasoning and this is a predicate that > indicates where something is at a moment, like P7! So it seems like a legit > assumption. > > Do I get your gist Wolfgang? > > Cheers, > > George > > > _______________________________________________ > Crm-sig mailing list > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig _______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig