search

normativeai / frontend

GNU General Public License v3.0
6 stars 3 forks source link

"Connective"-like interface to defined predicates #47

Open Gauntlet173 opened 5 years ago

Gauntlet173 commented 5 years ago

If the user defines a predicate in legislation, it would be nice if the interface to use that predicate was the same as the interface to use a built-in connective. Highlight, and select from a list.

shaolintl commented 5 years ago

@Gauntlet173 I am not sure I understood. Do you mean here that you want to skip clicking the term button and then select the predicate from the list there?

Gauntlet173 commented 5 years ago

Essentially, yes. Predicates should be treated different from symbols in the interface. And predicates the software already knows about should not need to be typed in. You should be able to select them in the way you select a connective.