Property:Choose formal logic language

This is a property of type Has type::Boolean.

The question to be used when requesting the value of this property is: (b) Formal logic language