simpleChoice_stubborn.owlltl 608 Bytes