Tarkus
Guest
Hello, everyone.
There's one thing with the representations I can't make it work.
I have a "a" set where I made two representations of position we say "high" / "low" that work well.
I insert the axieme into a b set, in the b browser, expting the node of the together to find the representations, I click on high or low and everything works.
again, I insert the axieme b in a c set, in the browser of c, expting the various nodes until you find the representations of the axieme to, I click on high or low and nothing works anymore.
In fact, the names of the representations appear brown rather than black.
I read on the guide, but it seems that he doesn't say anything about axioms with subaxis at level 3. (or maybe I didn't understand).
then:
I'm wrong with something (hope), or you're not going anywhere in two levels anymore?
There's one thing with the representations I can't make it work.
I have a "a" set where I made two representations of position we say "high" / "low" that work well.
I insert the axieme into a b set, in the b browser, expting the node of the together to find the representations, I click on high or low and everything works.
again, I insert the axieme b in a c set, in the browser of c, expting the various nodes until you find the representations of the axieme to, I click on high or low and nothing works anymore.
In fact, the names of the representations appear brown rather than black.
I read on the guide, but it seems that he doesn't say anything about axioms with subaxis at level 3. (or maybe I didn't understand).
then:
I'm wrong with something (hope), or you're not going anywhere in two levels anymore?