Unexpected "in"
Issue #582
resolved
{ ! I T : intersect(T) <- conflict(I) & in(I,T). }
met in een gedeclareerd binair predicaat wordt niet meer juist geparst. (ik vermoed na integratie met binaire quantoren)
Comments (2)
-
-
- changed status to resolved
resolved by pull request #147
- Log in to comment
Als dit niet gaparsed wordt, moet die in ook al in het vocabularium verboden worden.