deductive reasoning subgroup of reasoning, 1 assertions
HasProperty 1
sound 0.68