Home
Bugs
Help
Find!
1 in notes
ce'e
CEhE
cmavo
links terms into an afterthought termset.
CLL 14.11
CLL 16.7
jbovlaste
In notes:
sumpoi
x
1
is a termset/set of arguments of predicate/function x
2
filling places x
3
.