This report presents how selected methods from the state-of-the-art of computational models of law, legal reasoning and argumentation are applied to develop a prototype system for helping developers to construct, explore and compare legal theories when analysing open source licensing issues in particular cases.